Similar repositories to jesse-michael-han/lean-step-public:

• jesse-michael-han/lean-step-public github similar
• jesse-michael-han/lean-tpe-public github similar
• dselsam/lean-gym github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• meilisearch/MeiliSearch github similar
• google/formal-ml github similar
• jesse-michael-han/lean-parser-combinators github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• leanprover/functional_programming_in_lean github similar
• zhangir-azerbayev/lean-chat-vscode github similar
• navilan/wabi github similar
• leanprover/smt2_interface github similar
• ccodel/verified-encodings github similar
• tydeu/lean4-alloy github similar
• javra/iit github similar
• ufmg-smite/lean-smt github similar
• ai4reason/ATP_Proofs github similar
• opencompl/lean-gap github similar
• arthurpaulino/NumLean github similar
• joehendrix/lean-sat-checker github similar
• motemen/gore github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• postalhq/postal github similar
• blockstack/stacks github similar
• Eugeny/terminus github similar
• hecrj/iced github similar
• ubuntu/microk8s github similar
• juxt/crux github similar
• k6io/k6 github similar
• Eloston/ungoogled-chromium github similar
• oragono/oragono github similar
• JonathanLorimer/tdd-with-idris2 github similar
• GamestonkTerminal/GamestonkTerminal github similar
• Lucifier129/farrow github similar
• tuvtran/project-based-learning github similar
• RH12503/triangula github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• jasonrute/lean_proof_recording github similar