Paper-Proofpaperproof

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

  1. DhyeyMavani2003/chip-firing-with-leanuses0b6c326

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

  2. 2540825244/m2r-group-7usesc944afd

    Imperial Maths Year 2 Research Project Group 7 - Mathematics Formalisation