Similar repositories to gebner/lean4-mathlib-import:

• gebner/lean4-mathlib-import github similar
• Vtec234/lean-sesh github similar
• EdAyers/edlib github similar
• NeilStrickland/lean_lib github similar
• SnobbyDragon/leanfifteen github similar
• joehendrix/lean-arith-solver github similar
• skbaek/cvx github similar
• dupuisf/lean4-experimentation github similar
• abentkamp/duper github similar
• atarnoam/lean-automata github similar
• siddhartha-gadgil/Polylean github similar
• rwbarton/lean-omin github similar
• joehendrix/lean-sat-checker github similar
• paulaneeley/modal github similar
• JamesGallicchio/LeanColls github similar
• leanprover/smt2_interface github similar
• dselsam/lean-gym github similar
• minchaowu/mm-lean github similar
• SnobbyDragon/leanhanoi github similar
• ccodel/verified-encodings github similar
• alashworth/sf-lean github similar
• digama0/olean-rs github similar
• javra/iit github similar
• duckki/lean-quantum github similar
• dselsam/binport github similar
• arthurpaulino/NumLean github similar
• ufmg-smite/lean-smt github similar
• xiw/arithcc github similar
• dselsam/mathport github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• leanprover-community/leancrawler github similar
• jtristan/stump-learnable github similar
• leanprover/lean4-samples github similar
• b-mehta/combinatorics github similar
• gebner/quote4 github similar
• google/formal-ml github similar
• tydeu/lean4-alloy github similar
• GaloisInc/lean-llvm github similar
• leanprover/LeanInk github similar
• leanprover-community/lean-client-python github similar