Similar repositories to paulaneeley/modal:

• paulaneeley/modal github similar
• SnobbyDragon/leanhanoi github similar
• SnobbyDragon/leanfifteen github similar
• kbuzzard/lean-game-skeleton github similar
• gebner/lean4-mathlib-import github similar
• kbuzzard/real-numbers-course github similar
• alashworth/sf-lean github similar
• leanprover-community/lean-web-editor github similar
• minchaowu/ModalTab github similar
• EdAyers/edlib github similar
• alexjbest/CAP-game github similar
• blanchette/logical_verification_2022 github similar
• NeilStrickland/lean_lib github similar
• rwbarton/lean-omin github similar
• skbaek/cvx github similar
• siddhartha-gadgil/Polylean github similar
• mattrobball/lean-autograding github similar
• unitb/temporal-logic github similar
• abentkamp/duper github similar
• dupuisf/lean4-experimentation github similar
• filipmaric/IMO github similar
• anfelor/coc-lean github similar
• jtristan/stump-learnable github similar
• vbeffara/lean github similar
• atarnoam/lean-automata github similar
• yatima-inc/LSpec github similar
• avigad/mathematics_in_lean_source github similar
• maxhaslbeck/proving-contest-backends github similar
• bbentzen/mpl github similar
• leanprover/smt2_interface github similar
• ccodel/verified-encodings github similar
• ufmg-smite/lean-smt github similar
• gihanmarasingha/miu_language github similar
• digama0/advent-of-code github similar
• minchaowu/mm-lean github similar
• google/formal-ml github similar
• gebner/quote4 github similar
• zygi/lean-protoc-plugin github similar
• digama0/olean-rs github similar
• JamesGallicchio/LeanColls github similar