of 55 packages depending on fgdorais/UnicodeBasic
1-20Sort by
Package Name
astrainfinita/algorithmuses
v1.1.8
Verified efficient algorithms in Lean4.Verified-zkEVM/Arklibuses
v1.1.8
Formally Verified Arguments of Knowledge in LeanJobPetrovcic/ArtinWedderburnuses
2905ab4
A formalized proof of Artin-Wedderburn theorem in Lean4Bergschaf/banach_tarskiuses
f93115d
fpvandoorn/bonnAnalysisuses
c74a052
repository for the collaborative formalization seminar in Analysis in BonnRikHeurter/BscThesisFormalisationuses
v1.1.5
kbuzzard/ClassFieldTheoryuses
bb6eb5b
Github repository for the 2025 Clay Summer School on Formalizing Class Field Theorymorganfshirley/CommCompuses
7afce91
Formalization of communication complexity in Leanleanprover-community/ConNFuses
9f94839
A formal consistency proof of Quine's set theory New Foundationsleanprover/doc-gen4uses
v1.2.0-rc1
Document Generator for Lean 4teorth/equational_theoriesuses
45c426d
A project to map out the relations between different equational theories of Magmas.teorth/expdbuses
bb6eb5b
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
bb6eb5b
Fermat's Last Theorem for regular primesriccardobrasca/flt-regularuses
bb6eb5b
Proof of Kaplanski criterion for being a UFD in Lean4mo271/FormalBookuses
2905ab4
Formalizing "Proofs from THE BOOK"FormalizedFormalLogic/Foundationuses
bb6eb5b
Formalization of Mathematical LogicWuProver/groebneruses
bb6eb5b
Formalization of Gröbner basis theory in Lean4 (WIP)mkaratarakis/HopfieldNetuses
bb6eb5b