No results found

logic

Lean4 Logic Formalization
#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.

    mathlibab9dec5

    The math library of Lean 4
  4. Git dependency.
    Found on Reservoir.

    doc-gen4b941c42

    Document Generator for Lean 4