fgdorais
Follow
Highlights
- Pro
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedSep 17, 2024 -
extra4 Public
Supplements to the Lean 4 Standard Library
-
-
BibtexQuery Public
Forked from dupuisf/BibtexQueryA simple command-line bibtex query utility written in Lean 4
Lean Apache License 2.0 UpdatedSep 4, 2024 -
lean4-parser Public
Parser Combinator Library for Lean 4
-
-
-
lean4-unicode-basic Public
Basic Unicode support for Lean 4
-
batteries Public
Forked from leanprover-community/batteriesStandard Library for Lean 4
Lean Apache License 2.0 UpdatedAug 30, 2024 -
-
-
http Public
Forked from JamesGallicchio/httpBasic HTTP definitions and parsing for Lean
Lean Apache License 2.0 UpdatedJan 19, 2024 -
LeanColls Public
Forked from JamesGallicchio/LeanCollsWIP collections library for Lean 4
Lean GNU General Public License v3.0 UpdatedJan 19, 2024 -
aesop Public
Forked from leanprover-community/aesopWhite-box automation for Lean 4
Lean Apache License 2.0 UpdatedNov 20, 2023 -
Unicode.lean Public archive
Forked from xubaiw/Unicode.leanUnicode stuff for Lean 4! ✌️
Lean Apache License 2.0 UpdatedApr 7, 2023 -
-
lean-universal Public
Multi-sorted equational logic in Lean
-
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedOct 26, 2019 -
-
lean-groupoids Public
first-order groupoids and tactics for the Lean Theorem Prover
Lean Apache License 2.0 UpdatedMay 12, 2019 -
birkhoff Public
Formalization of equational logic in Lean
Lean Apache License 2.0 UpdatedFeb 18, 2019 -
tup Public
A function-based implementation of tuples for Lean
Lean Apache License 2.0 UpdatedOct 13, 2018 -
-
uniq Public
Implementation of the axiom of definite description for Lean.
-
-
lean Public
Forked from leanprover/lean3Lean Theorem Prover
C++ Apache License 2.0 UpdatedJan 15, 2017 -
-
SQUFOF Public
Shanks' square forms factorization algorithm
-
Mangle Public
Simple string obfuscation tool
-