Popular repositories Loading
-
-
Peg-solitaire
Peg-solitaire PublicSimple implementation of peg solitaire in Python, and trying different ways of computing solutions
Python
-
-
Master_thesis
Master_thesis PublicMaster's thesis on the formalization in lean of the existence and uniqueness of Fraïssé limits
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
