MD4Lean
a Lean wrapper for the MD4C Markdown parser
1-20 of 54 packages depending on acmepjz/MD4Lean
Sort by
Package Name
astrainfinita/algorithmuses
66aefecVerified efficient algorithms in Lean4.Verified-zkEVM/Arklibuses
feac4e0Formally Verified Arguments of Knowledge in LeanJobPetrovcic/ArtinWedderburnuses
5e95f47A formalized proof of Artin-Wedderburn theorem in Lean4Bergschaf/banach_tarskiuses
9148a0ahanwenzhu/blueprint-genuses
66aefecProof of concept for generating a blueprint directly from Lean source.fpvandoorn/bonnAnalysisuses
9148a0arepository for the collaborative formalization seminar in Analysis in BonnRikHeurter/BscThesisFormalisationuses
v4.19.0-rc1morganfshirley/CommCompuses
5e95f47Formalization of communication complexity in Leanleanprover-community/ConNFuses
v4.19.0-rc1A formal consistency proof of Quine's set theory New FoundationsShreyas4991/DGAlgorithmsuses
7cf25ecDistributed Graph Algorithms in Leanleanprover/doc-gen4uses
44da417Document Generator for Lean 4teorth/equational_theoriesuses
v4.19.0-rc1A project to map out the relations between different equational theories of Magmas.teorth/expdbuses
44da417Exponent pair databasekkytola/ExtremeValueProjectuses
feac4e0A project to formalize Fisher-Tippett-Gnedenko theorem (default project of course MS-EV0029)ivankobe/FactorizationSystemsuses
5e95f47leanprover-community/flt-regularuses
44da417Fermat's Last Theorem for regular primesmo271/FormalBookuses
feac4e0Formalizing "Proofs from THE BOOK"FormalizedFormalLogic/Foundationuses
66aefecFormalization of Mathematical LogicWuProver/groebneruses
66aefecFormalization of Gröbner basis theory in Lean4 (WIP)mkaratarakis/HopfieldNetuses
b16338c