Similar repositories to filipmaric/IMO:
filipmaric/IMO
github
similar
aquynh/capstone
github
similar
maxd13/logic-soundness
github
similar
unitb/temporal-logic
github
similar
jalex-stark/lean-at-MC2020
github
similar
dselsam/lean-gym
github
similar
minchaowu/mm-lean
github
similar
SnobbyDragon/leanhanoi
github
similar
jsm28/bmo2-2020-lean
github
similar
vaibhavkarve/leanteach2020
github
similar
opencompl/lean-gap
github
similar
paulaneeley/modal
github
similar
leanprover-community/leancrawler
github
similar
lecopivo/HouLean
github
similar
alashworth/sf-lean
github
similar
yatima-inc/LSpec
github
similar
tydeu/lean4-alloy
github
similar
leanprover-community/mathematics_in_lean
github
similar
leanprover/LeanInk
github
similar
avigad/lamr
github
similar
leanprover-community/lean-client-python
github
similar
kendfrey/rubiks-cube-group
github
similar
starkware-libs/formal-proofs
github
similar
leanprover-community/mathport
github
similar
avigad/mathematics_in_lean_source
github
similar
mhuisi/lean4-cli
github
similar
GaloisInc/lean4-balance-car
github
similar
leanprover-community/format_lean
github
similar
semorrison/lean-category-theory
github
similar
leanprover/vscode-lean4
github
similar
lecopivo/SciLean
github
similar
mpedramfar/Lean-game-maker
github
similar
leanprover/lake
github
similar
leanprover-community/lftcm2020
github
similar
leanprover/theorem_proving_in_lean4
github
similar
jldodds/coq-lean-cheatsheet
github
similar
flypitch/flypitch
github
similar
CoqEAL/CoqEAL
github
similar
coq-community/coqeal
github
similar
ImperialCollegeLondon/real-number-game
github
similar