Similar repositories to dupuisf/lean4-experimentation:

• dupuisf/lean4-experimentation github similar
• Vtec234/lean-sesh github similar
• atarnoam/lean-automata 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
• alashworth/sf-lean github similar
• javra/iit github similar
• david-a-wheeler/metamath-knife github similar
• duckki/lean-quantum github similar
• arthurpaulino/FxyLang github similar
• e45lee/lean-matroids github similar
• siddhartha-gadgil/lean-loris github similar
• arthurpaulino/lean2md github similar
• xiw/arithcc github similar
• paulaneeley/modal github similar
• asouther4/lean-social-choice github similar
• crabbo-rave/Soup github similar
• mmasdeu/topologygame github similar
• leanprover/lean4-samples github similar
• digama0/mm-lean4 github similar
• google/formal-ml github similar
• dwrensha/lean4-maze github similar
• leanprover/LeanInk github similar
• leanprover/doc-gen4 github similar
• kendfrey/rubiks-cube-group github similar
• xubaiw/Socket.lean github similar
• sorear/smetamath-rs github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• gebner/trepplein github similar
• leanprover/functional_programming_in_lean github similar
• avigad/mathematics_in_lean_source github similar
• leanprover/lean-client-js github similar
• david-a-wheeler/mmverify.py github similar
• JLimperg/aesop github similar
• leanprover-community/mathlib-tools github similar
• bzhan/holpy github similar
• ImperialCollegeLondon/complex-number-game github similar