MD4Lean
a Lean wrapper for the MD4C Markdown parser
of 46 packages depending on acmepjz/MD4Lean
1-20Sort by
Package Name
FR-vdash-bot/algorithmuses
v4.19.0-rc1
Verified efficient algorithms in Lean4.teorth/analysisuses
v4.19.0-rc1
A Lean companion to Analysis IVerified-zkEVM/Arklibuses
v4.19.0-rc1
Formally Verified Arguments of Knowledge in LeanBergschaf/banach_tarskiuses
9148a0a
fpvandoorn/bonnAnalysisuses
9148a0a
repository for the collaborative formalization seminar in Analysis in BonnRemyDegenne/BrownianMotionuses
v4.19.0-rc1
Construction of a Brownian Motion in LeanRikHeurter/BscThesisFormalisationuses
v4.19.0-rc1
morganfshirley/CommCompuses
5e95f47
Formalization of communication complexity in Leanleanprover-community/ConNFuses
v4.19.0-rc1
A formal consistency proof of Quine's set theory New FoundationsShreyas4991/DGAlgorithmsuses
7cf25ec
Distributed Graph Algorithms in Leanleanprover/doc-gen4uses
v4.19.0-rc1
Document Generator for Lean 4teorth/equational_theoriesuses
v4.19.0-rc1
A project to map out the relations between different equational theories of Magmas.teorth/expdbuses
v4.19.0-rc1
Exponent pair databasekkytola/ExtremeValueProjectuses
v4.19.0-rc1
A project to formalize Fisher-Tippett-Gnedenko theorem (default project of course MS-EV0029)ivankobe/FactorizationSystemsuses
5e95f47
leanprover-community/flt-regularuses
v4.19.0-rc1
Fermat's Last Theorem for regular primesriccardobrasca/flt-regularuses
7cf25ec
Proof of Kaplanski criterion for being a UFD in Lean4mo271/FormalBookuses
5e95f47
Formalizing "Proofs from THE BOOK"FormalizedFormalLogic/Foundationuses
v4.19.0-rc1
Formalization of Mathematical LogicWuProver/groebneruses
v4.19.0-rc1
Formalization of Gröbner basis theory in Lean4 (WIP)