No results found

Paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.
#proof-tree #mathematics
Displaying 1-8 of 8 dependencies of Paperproof
Sort by

  1. Paperproof
    0.0.0

  2. batteries
    cac5bff

  3. Qq
    5315667

  4. aesop
    093226b

  5. proofwidgets
    e6b6247

  6. Cli
    a115660

  7. importGraph
    e9fb4ec

  8. mathlib
    ad584cd