BibtexQuery
A simple command-line bibtex query utility written in Lean 4
of 43 packages depending on dupuisf/BibtexQuery
1-20Sort by
Package Name
FR-vdash-bot/algorithmuses
v4.19.0-rc1
Verified efficient algorithms in Lean4.Verified-zkEVM/Arklibuses
v4.19.0-rc1
Formally Verified Arguments of Knowledge in LeanJobPetrovcic/ArtinWedderburnuses
982700b
A formalized proof of Artin-Wedderburn theorem in Lean4Bergschaf/banach_tarskiuses
bd8747d
RikHeurter/BscThesisFormalisationuses
v4.19.0-rc1
morganfshirley/CommCompuses
0a294fe
Formalization of communication complexity in Leanleanprover-community/ConNFuses
v4.19.0-rc1
A formal consistency proof of Quine's set theory New FoundationsShreyas4991/DGAlgorithmsuses
c07de33
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
982700b
leanprover-community/flt-regularuses
v4.19.0-rc1
Fermat's Last Theorem for regular primesriccardobrasca/flt-regularuses
v4.19.0-rc1
Proof of Kaplanski criterion for being a UFD in Lean4mo271/FormalBookuses
bdc2fc3
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)emilyriehl/InfinityCosmosuses
v4.19.0-rc1
A blueprint for a formalization of infinity-cosmos theory in Lean.acmepjz/Iwasawalibuses
v4.19.0-rc1
Formalization of Iwasawa Theory in LꓱꓯN (tentative)