No results found

arithmetization

Formalization of Arithmetization of Mathematics/Metamathematics
#logic
Sort by
  1. Git dependency.
    Found on Reservoir.

    proofwidgetsbf1a80e

    Helper toolkit for creating your own Lean 4 UserWidgets
  2. Git dependency.
    Found on Reservoir.

    importGraph68b518c

    Tool to analyse the import structure of lean projects.
  3. Git dependency.
    Found on Reservoir.

    logicc14a269

    Lean4 Logic Formalization
  4. Git dependency.
    Found on Reservoir.

    doc-gen4b941c42

    Document Generator for Lean 4