| dselsam/certigrad |
346 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
apache-2.0 |
Lean |
| Bug-free machine learning on stochastic computation graphs |
| siddhartha-gadgil/ProvingGround |
180 |
|
0 |
1 |
almost 5 years ago |
1 |
September 19, 2020 |
7 |
mit |
Jupyter Notebook |
| Proving Ground: Tools for Automated Mathematics |
| choukh/Set-Theory |
54 |
|
0 |
0 |
over 4 years ago |
0 |
|
0 |
mit |
Coq |
| Coq encoding of ZFC and formalization of the textbook Elements of Set Theory |
| trello/category-theory |
18 |
|
0 |
0 |
almost 11 years ago |
0 |
|
0 |
|
|
| sometimes math is just too much fun |
| stefanutti/maps-coloring-python |
8 |
|
0 |
0 |
almost 4 years ago |
0 |
|
2 |
gpl-3.0 |
Python |
| Four color theorem, Guthrie, Kempe, Tait and other people and stuff |
| LS-Lab/orbital |
7 |
|
0 |
0 |
over 9 years ago |
0 |
|
0 |
other |
Java |
| Orbital Library |
| math-o-matic/math-o-matic |
6 |
|
2 |
3 |
almost 3 years ago |
5 |
February 13, 2021 |
26 |
mit |
TypeScript |
| Computerized proof system on the web |
