## MD4Lean

a Lean wrapper for the MD4C Markdown parser

**1-20**of

**31**packages depending on

**acmepjz/MD4Lean**

Sort by

Package Name

### FR-vdash-bot/algorithmuses

`5e95f47`

Verified efficient algorithms in Lean4.### fpvandoorn/bonnAnalysisuses

`9148a0a`

repository for the collaborative formalization seminar in Analysis in Bonn### fpvandoorn/carlesonuses

`5e95f47`

A formalized proof of Carleson's theorem in Lean### YaelDillies/ChandraFurstLiptonuses

`5e95f47`

Formalisation in the Lean theorem prover of the relation between corner-free sets and communication complexity### RemyDegenne/cltuses

`5e95f47`

Central limit theorem in Lean### morganfshirley/CommCompuses

`5e95f47`

Formalization of communication complexity in Lean### leanprover-community/ConNFuses

`5e95f47`

A formal consistency proof of Quine's set theory New Foundations### optsuite/convexuses

`9148a0a`

### leanprover/doc-gen4uses

`5e95f47`

Document Generator for Lean 4### teorth/equational_theoriesuses

`5e95f47`

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

`5e95f47`

Exponent pair database### ImperialCollegeLondon/FLTuses

`5e95f47`

Ongoing Lean formalisation of the proof of Fermat's Last Theorem### leanprover-community/flt-regularuses

`5e95f47`

Fermat's Last Theorem for regular primes### mo271/FormalBookuses

`5e95f47`

Formalizing "Proofs from THE BOOK"### HEPLean/hep_leanuses

`5e95f47`

A project to digitalise results from high energy physics into Lean.### mortarsanjaya/IMOSLLean4uses

`5e95f47`

Formalization of IMO shortlist problems in Lean 4### emilyriehl/InfinityCosmosuses

`5e95f47`

A blueprint for a formalization of infinity-cosmos theory in Lean.### YaelDillies/LeanAPAPuses

`5e95f47`

Formalisation of the Kelley-Meka bound on Roth numbers### YaelDillies/LeanCamCombiuses

`5e95f47`

Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean### JamesGallicchio/leancollsuses

`5e95f47`

WIP collections library for Lean 4