MyNixOS website logo
package

typst-package-kangaroo

Description

Cryptographic notation and game-hopping proofs in the style of The Joy of Cryptography.