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.15.0-rc1

    Verified efficient algorithms in Lean4.

  2. Bergschaf/banach_tarskiusesb941c42

  3. fpvandoorn/bonnAnalysisuses194403b

    repository for the collaborative formalization seminar in Analysis in Bonn

  4. YaelDillies/ChandraFurstLiptonuses1b0072f

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity

  5. RemyDegenne/cltusese3f8a87

    Central limit theorem in Lean

  6. morganfshirley/CommCompuses1b0072f

    Formalization of communication complexity in Lean

  7. leanprover-community/ConNFusesv4.18.0-rc1

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

  8. optsuite/convexusesd1be57c

  9. teorth/equational_theoriesuses059eb7e

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

  10. teorth/expdbusesv4.18.0-rc1

    Exponent pair database

  11. ivankobe/FactorizationSystemsuses059eb7e

  12. leanprover-community/flt-regularusesv4.18.0-rc1

    Fermat's Last Theorem for regular primes

  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. SchrodingerZhu/lean-gccjituses649e779

    libgccjit bindings for Lean4

  16. Bergschaf/LeanBanachTarskiusese3f8a87

  17. utensil/LeanBlueprintExampleusesf9d9875

  18. fpvandoorn/LeanCourseusesv4.13.0-rc1

    Bonn Lean course for winter 24/25

  19. Bergschaf/leroyusese3f8a87

  20. loganrjmurphy/libusesb334278

    LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.