Tool for organizing and rendering LaTeX cryptographic game-hopping proofs
[!NOTE]
TeXFrog is an early-stage tool under active development. The input format, command-line interface, and output may change as the design evolves. Feedback, suggestions, and contributions are v… [+6598 chars]
