Similar repositories to joehendrix/lean-arith-solver:

• joehendrix/lean-arith-solver github similar
• liyi-david/pycoq-ml github similar
• gebner/lean4-mathlib-import github similar
• opencompl/lean-mlir-semantics github similar
• lecopivo/lean4-karray github similar
• codyroux/hoare-toy github similar
• joehendrix/lean-sat-checker github similar
• JamesGallicchio/LeanColls github similar
• ufmg-smite/lean-smt github similar
• siddhartha-gadgil/Saturn github similar
• opencompl/lean-mlir github similar
• larsk21/iris-lean github similar
• dwrensha/lean4-maze github similar
• GaloisInc/lean-llvm github similar
• smtcoq/sniper github similar
• gebner/quote4 github similar
• JLimperg/aesop github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• digama0/lean-type-theory github similar
• leanprover/lake github similar
• lecopivo/SciLean github similar
• kmill/lean4-raytracer github similar
• leanprover-community/mathlib4 github similar
• siddhartha-gadgil/ProvingGround github similar
• ImperialCollegeLondon/natural_number_game github similar
• AndrasKovacs/smalltt github similar
• vellvm/vellvm github similar
• plk/biblatex github similar
• AndrasKovacs/elaboration-zoo github similar
• quchen/stgi github similar
• mortberg/cubicaltt github similar
• cvc5/cvc5 github similar
• egraphs-good/egg github similar
• tensor-compiler/taco github similar
• andrejbauer/plzoo github similar
• tensorflow/mlir github similar
• jozefg/learn-tt github similar
• leanprover/lean4 github similar
• Amanieu/parking_lot github similar
• koka-lang/koka github similar