Similar repositories to jtristan/stump-learnable:

• jtristan/stump-learnable github similar
• tuvtran/project-based-learning github similar
• chasenorman/Formalized-Voting github similar
• skbaek/cvx github similar
• paulaneeley/modal github similar
• kckennylau/Lean github similar
• gebner/lean4-mathlib-import github similar
• alashworth/sf-lean github similar
• adamtopaz/comb_geom github similar
• siddhartha-gadgil/Polylean github similar
• leanprover/smt2_interface github similar
• jthickstun/lean github similar
• minchaowu/mm-lean github similar
• SnobbyDragon/leanhanoi github similar
• ccodel/verified-encodings github similar
• joom/modal github similar
• jsm28/bmo2-2020-lean github similar
• validsdp/validsdp github similar
• kbuzzard/lean-stacks-project github similar
• jtassarotti/coq-proba github similar
• rwbarton/lean-omin github similar
• dselsam/binport github similar
• jtassarotti/polaris github similar
• avigad/mathematics_in_lean_source github similar
• rwbarton/advent-of-lean-4 github similar
• dselsam/mathport github similar
• bos/suffixtree github similar
• strub/elliptic-curves-ssr github similar
• leanprover-community/leancrawler github similar
• blanchette/logical_verification_2019 github similar
• Coq-Polyhedra/Coq-Polyhedra github similar
• jashug/FormalizedCompilerAlgorithms github similar
• IBM/FormalML github similar
• gebner/quote4 github similar
• gnobitab/CertifiedMonotonicNetwork github similar
• GaloisInc/lean4-balance-car github similar
• ImperialCollegeLondon/Example-Lean-Projects github similar
• leanprover-community/lean-client-python github similar
• kendfrey/rubiks-cube-group github similar
• ufmg-smite/lean-smt github similar