of 49 packages depending on fgdorais/UnicodeBasic
1-20Sort by
Package Name
FR-vdash-bot/algorithmuses
v1.1.5
Verified efficient algorithms in Lean4.teorth/analysisuses
v1.1.7
A Lean companion to Analysis IVerified-zkEVM/Arklibuses
v1.1.7
Formally Verified Arguments of Knowledge in LeanBergschaf/banach_tarskiuses
f93115d
fpvandoorn/bonnAnalysisuses
c74a052
repository for the collaborative formalization seminar in Analysis in BonnRemyDegenne/BrownianMotionuses
v1.1.7
Construction of a Brownian Motion in LeanRikHeurter/BscThesisFormalisationuses
v1.1.5
morganfshirley/CommCompuses
7afce91
Formalization of communication complexity in Leanleanprover-community/ConNFuses
v1.1.7
A formal consistency proof of Quine's set theory New Foundationsleanprover/doc-gen4uses
v1.1.7
Document Generator for Lean 4teorth/equational_theoriesuses
v1.1.7
A project to map out the relations between different equational theories of Magmas.teorth/expdbuses
871bb7c
Exponent pair databasekkytola/ExtremeValueProjectuses
v1.1.5
A project to formalize Fisher-Tippett-Gnedenko theorem (default project of course MS-EV0029)ivankobe/FactorizationSystemsuses
2905ab4
leanprover-community/flt-regularuses
v1.1.7
Fermat's Last Theorem for regular primesmo271/FormalBookuses
2905ab4
Formalizing "Proofs from THE BOOK"FormalizedFormalLogic/Foundationuses
v1.1.7
Formalization of Mathematical LogicWuProver/groebneruses
v1.1.7
Formalization of Gröbner basis theory in Lean4 (WIP)JamesGallicchio/Httpuses
8603bb1
Basic HTTP definitions and parsing for Leanemilyriehl/InfinityCosmosuses
v1.1.7
A blueprint for a formalization of infinity-cosmos theory in Lean.