Similar repositories to duckki/lean-quantum:

• duckki/lean-quantum github similar
• leanprover-community/vscode-lean4 github similar
• Vtec234/lean-sesh github similar
• krassowski/jupyterlab-lsp github similar
• prekel/chapgame github similar
• javra/iit github similar
• NeilStrickland/lean_lib github similar
• gebner/lean4-mathlib-import github similar
• dupuisf/lean4-experimentation github similar
• Borschemancer/axiomatic-sets github similar
• mb64/cubical-free-monads github similar
• ImperialCollegeLondon/dots_and_boxes github similar
• atarnoam/lean-automata github similar
• siddhartha-gadgil/Polylean github similar
• opencompl/lean-mlir-semantics github similar
• gabriel-fallen/bidirectional-demo github similar
• navilan/wabi github similar
• yatima-inc/Parsec.lean github similar
• jordiae/neural-compilers github similar
• lecopivo/lean4-karray github similar
• nkandpa2/he_jax github similar
• xubaiw/Socket.lean github similar
• julesjacobs/cgraphs github similar
• hargoniX/cpdt-lean github similar
• tolziplohu/durin github similar
• codyroux/hoare-toy github similar
• arthurpaulino/NumLean github similar
• joehendrix/lean-sat-checker github similar
• minkiminki/Ordinal github similar
• xiw/arithcc github similar
• tcampion/Semisimplicial github similar
• rwbarton/advent-of-lean-4 github similar
• alashworth/sf-lean github similar
• zhangir-azerbayev/lean-chat-vscode github similar
• dwrensha/lean4-maze github similar
• mb64/LC-interpreter github similar
• smtcoq/sniper github similar
• google/formal-ml github similar
• luc-tielen/typesystem github similar
• tydeu/lean4-alloy github similar