Displaying 1-20 of 40 packages depending on leanprover/doc-gen4
Sort by
  1. FR-vdash-bot/algorithmusesv4.15.0-rc1

    Verified efficient algorithms in Lean4.
  2. fpvandoorn/bonnAnalysisuses194403b

    repository for the collaborative formalization seminar in Analysis in Bonn
  3. YaelDillies/ChandraFurstLiptonuses1b0072f

    Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity
  4. RemyDegenne/cltuses1b0072f

    Central limit theorem in Lean
  5. morganfshirley/CommCompuses1b0072f

    Formalization of communication complexity in Lean
  6. leanprover-community/ConNFusesv4.15.0-rc1

    A formal consistency proof of Quine's set theory New Foundations
  7. optsuite/convexusesd1be57c

  8. teorth/equational_theoriesuses059eb7e

    A project to map out the relations between different equational theories of Magmas.
  9. teorth/expdbuses43d3044

    Exponent pair database
  10. ImperialCollegeLondon/FLTusesfd52917

    Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  11. leanprover-community/flt-regularusesfd52917

    Fermat's Last Theorem for regular primes
  12. mo271/FormalBookuses7b6a56e

    Formalizing "Proofs from THE BOOK"
  13. HEPLean/HepLeanusesv4.14.0

    A project to digitalise results from high energy physics into Lean.
  14. emilyriehl/InfinityCosmosuses059eb7e

    A blueprint for a formalization of infinity-cosmos theory in Lean.
  15. SchrodingerZhu/lean-gccjituses649e779

    libgccjit bindings for Lean4
  16. YaelDillies/LeanAPAPuses059eb7e

    Formalisation of the Kelley-Meka bound on Roth numbers
  17. YaelDillies/LeanCamCombiuses43d3044

    Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  18. fpvandoorn/LeanCourseusesv4.13.0-rc1

    Bonn Lean course for winter 24/25