7 results found Sort:

leanprover-community
mathlib3 leanprover-community
298
1.7k
apache-2.0
53
Lean 3's obsolete mathematical components library: please use mathlib4
lean formal-proofs formal-methods theorem-proving proof-automation formal-mathematics
This repository has been archived (exclude archived)
Created 2017-07-21
18,271 commits to master branch, last one about a year ago
niltok
magic-in-ten-mins niltok
39
790
cc-by-4.0
8
十分钟魔法练习
adt hkt java monad tutorial formal-proofs lambda-calculus formal-verification functional-programming
Created 2020-11-09
94 commits to main branch, last one about a year ago
LogicalAtomist
principia LogicalAtomist
5
208
gpl-3.0
16
The Principia Rewrite
coq latex logic formal-logic coq-ecosystem formal-proofs latex-packages formal-mathematics history-of-philosophy
Created 2020-09-27
70 commits to master branch, last one 4 days ago
coq-community
hydra-battles coq-community
12
69
mit
9
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
coq formal-proofs hydra-battles coq-nix-toolbox docker-coq-action ordinal-notations discrete-mathematics primitive-recursive-functions
Created 2020-10-20
1,855 commits to master branch, last one 10 months ago
data61
PSL data61
9
65
other
9
This repository has no description...
hol itp psl proof isabelle induction conjecture proof-search formal-proofs formal-methods proof-assistant machine-learning proof-strategies formal-verification artificial-intelligence domain-specific-language interactive-theorem-proving
Created 2016-08-10
1,559 commits to master branch, last one about a month ago
aripiprazole
rinha aripiprazole
3
64
unknown
2
🧪 | Rinha de Backend Lean4
lean4 pgsql formal-proofs rinha-de-backend-2023-q3
Created 2023-08-20
59 commits to main branch, last one about a year ago
mo271
FormalBook mo271
12
56
apache-2.0
7
Formalizing "Proofs from THE BOOK"
lean mathematics formal-proofs
Created 2022-09-15
263 commits to main branch, last one 10 days ago