Similar repositories to atarnoam/lean-automata:

• atarnoam/lean-automata github similar
• Vtec234/lean-sesh github similar
• dupuisf/lean4-experimentation github similar
• mo271/formal_book github similar
• digama0/mizar-rs github similar
• paulch42/lean-spec github similar
• alexjbest/CAP-game github similar
• mattrobball/lean-autograding github similar
• kbuzzard/lean-game-skeleton github similar
• gebner/lean4-mathlib-import github similar
• vbeffara/lean github similar
• gebner/m17n-lean github similar
• siddhartha-gadgil/LeanAide github similar
• zhangir-azerbayev/ProofNet github similar
• Julian/lftim github similar
• javra/iit github similar
• david-a-wheeler/metamath-knife github similar
• digama0/mm-lean4 github similar
• duckki/lean-quantum github similar
• hargoniX/cpdt-lean github similar
• arthurpaulino/FxyLang github similar
• alashworth/sf-lean github similar
• e45lee/lean-matroids github similar
• siddhartha-gadgil/lean-loris github similar
• xubaiw/Socket.lean github similar
• xiw/arithcc github similar
• paulaneeley/modal github similar
• crabbo-rave/Soup github similar
• arthurpaulino/lean2md github similar
• EdAyers/Robotone github similar
• mmasdeu/topologygame github similar
• JamesGallicchio/LeanColls github similar
• leanprover/lean4-samples github similar
• leanprover-community/mathzoo github similar
• yatima-inc/LSpec github similar
• agentultra/lean-4-hackers github similar
• asouther4/lean-social-choice github similar
• dwrensha/lean4-maze github similar
• leanprover/LeanInk github similar
• leanprover/doc-gen4 github similar