Paper-Proofpaperproof

Lean theorem proving interface which feels like pen-and-paper proofs.
Displaying 1-1 of 1 packages depending on Paper-Proof/paperproof
Sort by

  1. DhyeyMavani2003/chip-firing-with-leanusesfea2a7c

    A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.