7 results found Sort:

leanprover-community
mathlib leanprover-community
297
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
Created 2017-07-21
18,271 commits to master branch, last one 8 months ago
niltok
magic-in-ten-mins niltok
36
739
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 9 months ago
LogicalAtomist
principia LogicalAtomist
5
200
gpl-3.0
14
The Principia Rewrite
coq latex logic formal-logic coq-ecosystem formal-proofs latex-packages formal-mathematics history-of-philosophy
Created 2020-09-27
66 commits to master branch, last one about a month ago
data61
PSL data61
9
63
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,544 commits to master branch, last one a day ago
aripiprazole
rinha aripiprazole
3
61
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 9 months ago
coq-community
hydra-battles coq-community
12
60
mit
8
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 4 months ago
mo271
formal_book mo271
6
37
apache-2.0
6
Formalizing "Proofs from THE BOOK"
lean mathematics formal-proofs
Created 2022-09-15
146 commits to main branch, last one about a month ago