doc-gen4
Document Generator for Lean 4
of 49 packages depending on leanprover/doc-gen4
1-20Sort by
Package Name
FR-vdash-bot/algorithmuses
v4.19.0-rc2
Verified efficient algorithms in Lean4.Verified-zkEVM/Arklibuses
v4.21.0-rc3
Formally Verified Arguments of Knowledge in LeanJobPetrovcic/ArtinWedderburnuses
059eb7e
A formalized proof of Artin-Wedderburn theorem in Lean4Bergschaf/banach_tarskiuses
b941c42
fpvandoorn/bonnAnalysisuses
194403b
repository for the collaborative formalization seminar in Analysis in BonnRikHeurter/BscThesisFormalisationuses
6aa6a4b
morganfshirley/CommCompuses
1b0072f
Formalization of communication complexity in Leanleanprover-community/ConNFuses
86d735e
A formal consistency proof of Quine's set theory New FoundationsShreyas4991/DGAlgorithmsuses
v4.18.0
Distributed Graph Algorithms in Leanteorth/equational_theoriesuses
v4.20.0
A project to map out the relations between different equational theories of Magmas.teorth/expdbuses
6dff9d0
Exponent pair databasekkytola/ExtremeValueProjectuses
v4.19.0-rc2
A project to formalize Fisher-Tippett-Gnedenko theorem (default project of course MS-EV0029)ivankobe/FactorizationSystemsuses
059eb7e
leanprover-community/flt-regularuses
86d735e
Fermat's Last Theorem for regular primesriccardobrasca/flt-regularuses
86d735e
Proof of Kaplanski criterion for being a UFD in Lean4mo271/FormalBookuses
7b6a56e
Formalizing "Proofs from THE BOOK"FormalizedFormalLogic/Foundationuses
v4.21.0-rc3
Formalization of Mathematical LogicWuProver/groebneruses
86d735e
Formalization of Gröbner basis theory in Lean4 (WIP)emilyriehl/InfinityCosmosuses
v4.21.0-rc3
A blueprint for a formalization of infinity-cosmos theory in Lean.acmepjz/Iwasawalibuses
86d735e
Formalization of Iwasawa Theory in LꓱꓯN (tentative)