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

    Verified efficient algorithms in Lean4.
  2. FormalizedFormalLogic/arithmetizationusesb941c42

    Formalization of Arithmetization of Mathematics/Metamathematics
  3. fpvandoorn/bonnAnalysisuses194403b

    repository for the collaborative formalization seminar in Analysis in Bonn
  4. fpvandoorn/carlesonusesv4.12.0

    A formalized proof of Carleson's theorem in Lean
  5. YaelDillies/ChandraFurstLiptonuses1b0072f

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

    Central limit theorem in Lean
  7. morganfshirley/CommCompuses1b0072f

    Formalization of communication complexity in Lean
  8. leanprover-community/ConNFusesv4.12.0

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

  10. teorth/equational_theoriesusesv4.13.0-rc1

    A project to map out the relations between different equational theories of Magmas.
  11. teorth/expdbusesv4.13.0-rc1

    Exponent pair database
  12. ImperialCollegeLondon/FLTusesv4.13.0-rc1

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

    Fermat's Last Theorem for regular primes
  14. mo271/FormalBookuses1b0072f

    Formalizing "Proofs from THE BOOK"
  15. HEPLean/hep_leanusesv4.12.0

    A project to digitalise results from high energy physics into Lean.
  16. mortarsanjaya/IMOSLLean4uses1b0072f

    Formalization of IMO shortlist problems in Lean 4
  17. FormalizedFormalLogic/Incompletenessusesb941c42

    Formalize Incompleness Theorem Related Results
  18. emilyriehl/InfinityCosmosusesv4.13.0-rc1

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

    libgccjit bindings for Lean4
  20. YaelDillies/LeanAPAPusesv4.13.0-rc1

    Formalisation of the Kelley-Meka bound on Roth numbers