Similar repositories to kbuzzard/lean-game-skeleton:
kbuzzard/lean-game-skeleton
github
similar
alexjbest/CAP-game
github
similar
SnobbyDragon/leanfifteen
github
similar
dupuisf/lean4-experimentation
github
similar
vbeffara/lean
github
similar
anfelor/coc-lean
github
similar
atarnoam/lean-automata
github
similar
maxhaslbeck/proving-contest-backends
github
similar
paulaneeley/modal
github
similar
kbuzzard/real-numbers-course
github
similar
digama0/advent-of-code
github
similar
gihanmarasingha/miu_language
github
similar
SnobbyDragon/leanhanoi
github
similar
alashworth/sf-lean
github
similar
david-a-wheeler/metamath-knife
github
similar
asouther4/lean-social-choice
github
similar
e45lee/lean-matroids
github
similar
mmasdeu/topologygame
github
similar
formalabstracts/CNL-CIC
github
similar
digama0/mm-lean4
github
similar
kendfrey/rubiks-cube-group
github
similar
google/formal-ml
github
similar
GaloisInc/lean4-balance-car
github
similar
sorear/smetamath-rs
github
similar
avigad/mathematics_in_lean_source
github
similar
gebner/trepplein
github
similar
leanprover/lean-client-js
github
similar
JLimperg/aesop
github
similar
been-jamming/CORE
github
similar
leanprover/LeanInk
github
similar
mhuisi/lean4-cli
github
similar
dwrensha/lean4-maze
github
similar
leanprover-community/mathlib-tools
github
similar
leanprover-community/format_lean
github
similar
mpedramfar/Lean-game-maker
github
similar
IBM/FormalML
github
similar
lecopivo/SciLean
github
similar
leanprover/vscode-lean4
github
similar
IPDSnelting/tba-2021
github
similar
ImperialCollegeLondon/M4P33
github
similar