Similar repositories to Lix0120/eudoxus:

• Lix0120/eudoxus github similar
• hecrj/iced github similar
• leanprover-community/vscode-lean4 github similar
• jalex-stark/lean-at-MC2020 github similar
• jsm28/bmo2-2020-lean github similar
• TOTBWF/lean4-raytrace github similar
• ImperialCollegeLondon/M1P1-lean github similar
• agusakov/category-theory-game github similar
• ImperialCollegeLondon/xena-UROP-2018 github similar
• kendfrey/rubiks-cube-group github similar
• leanprover-community/lean-client-python github similar
• agentultra/lean-for-hackers github similar
• annenkov/two-level github similar
• leanprover-community/mathematics_in_lean github similar
• ImperialCollegeLondon/group-theory-game github similar
• leanprover/vscode-lean4 github similar
• lecopivo/SciLean github similar
• leanprover/lake github similar
• leanprover-community/lftcm2020 github similar
• leanprover/theorem_proving_in_lean4 github similar
• jldodds/coq-lean-cheatsheet github similar
• gebner/hott3 github similar
• digama0/lean-type-theory github similar
• TwoFX/sudoku github similar
• kmill/lean4-raytracer github similar
• ImperialCollegeLondon/M40001_lean github similar
• kbuzzard/xena github similar
• leanprover-community/mathlib4 github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• leanprover-community/tutorials github similar
• leanprover/elan github similar
• GeoCoq/GeoCoq github similar
• adamnemecek/adjoint github similar
• kpeeters/cadabra2 github similar
• plt-amy/1lab github similar
• aya-prover/aya-dev github similar
• RedPRL/redtt github similar
• digama0/mm0 github similar
• UniMath/SymmetryBook github similar
• EgbertRijke/HoTT-Intro github similar