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. 2540825244/m2r-group-7usesc944afd

    Classifying Groups of Order up to 31 in Lean 4 - Imperial Maths Year 2 Research Project Group 7 - 2026