6 repos
google-deepmind/superhuman
No description
799
28 commits
teorth/equational_theories
A project to map out the relations between different equational theories of Magmas.
554
1,776 commits
ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
1,023
1,690 commits
math-inc/strongpnt
323
1 commits
thomasahle/sunfish
Sunfish: a Python Chess Engine in 111 lines of code
3,275
785 commits
mlinegar/ThinkingTrees
2
50 commits
