No results found

bonnAnalysis

repository for the collaborative formalization seminar in Analysis in Bonn
Displaying 1-11 of 11 dependencies of bonnAnalysis
Sort by

  1. batteries
    dc4a6b1

    The "batteries included" extended library for the Lean programming language and theorem prover

  2. Qq
    a7bfa63

    Intuitive, type-safe expression quotations for Lean 4.

  3. aesop
    26b4e42

    White-box automation for Lean 4

  4. proofwidgets
    v0.0.39

    Helper toolkit for creating your own Lean 4 UserWidgets

  5. Cli
    a115660

  6. importGraph
    v4.10.0-rc1

    Tool to analyse the import structure of lean projects.

  7. mathlib
    b387c54

  8. checkdecls
    21a36f3

  9. MD4Lean
    9148a0a

  10. UnicodeBasic
    c74a052

  11. doc-gen4
    194403b