No results found

doc-gen4

Document Generator for Lean 4
Displaying 1-20 of 39 packages depending on leanprover/doc-gen4
Sort by

  1. FR-vdash-bot/algorithmusesv4.19.0-rc2

    Verified efficient algorithms in Lean4.

  2. Verified-zkEVM/Arklibusesv4.18.0

    Formally Verified Arguments of Knowledge in Lean

  3. Bergschaf/banach_tarskiusesb941c42

  4. fpvandoorn/bonnAnalysisuses194403b

    repository for the collaborative formalization seminar in Analysis in Bonn

  5. morganfshirley/CommCompuses1b0072f

    Formalization of communication complexity in Lean

  6. leanprover-community/ConNFusesv4.19.0-rc2

    A formal consistency proof of Quine's set theory New Foundations

  7. Shreyas4991/DGAlgorithmsusesv4.18.0

    Distributed Graph Algorithms in Lean

  8. teorth/equational_theoriesuses059eb7e

    A project to map out the relations between different equational theories of Magmas.

  9. teorth/expdbusesv4.20.0-rc2

    Exponent pair database

  10. ivankobe/FactorizationSystemsuses059eb7e

  11. leanprover-community/flt-regularusesv4.20.0-rc2

    Fermat's Last Theorem for regular primes

  12. riccardobrasca/flt-regularusesv4.18.0-rc1

    Proof of Kaplanski criterion for being a UFD in Lean4

  13. mo271/FormalBookuses7b6a56e

    Formalizing "Proofs from THE BOOK"

  14. emilyriehl/InfinityCosmosusesv4.18.0-rc1

    A blueprint for a formalization of infinity-cosmos theory in Lean.

  15. acmepjz/Iwasawalibusesv4.20.0-rc2

    Formalization of Iwasawa Theory in LꓱꓯN (tentative)

  16. SchrodingerZhu/lean-gccjituses649e779

    libgccjit bindings for Lean4

  17. Bergschaf/LeanBanachTarskiusese3f8a87

  18. utensil/LeanBlueprintExampleusesf9d9875

  19. fpvandoorn/LeanCourseusesv4.13.0-rc1

    Bonn Lean course for winter 24/25

  20. Bergschaf/leroyusesv4.18.0-rc1