Projects in Awesome Lists by TeXFrog
A curated list of projects in awesome lists by TeXFrog .
https://github.com/texfrog/texfrog
[work in progress] Software for helping cryptographers manage game-hopping proofs in LaTeX
Last synced: 18 Jun 2026
A curated list of projects in awesome lists by TeXFrog .
[work in progress] Software for helping cryptographers manage game-hopping proofs in LaTeX
Last synced: 18 Jun 2026