Similar repositories to ccodel/verified-encodings:
ccodel/verified-encodings
github
similar
leanprover/smt2_interface
github
similar
opencompl/egg-tactic-code
github
similar
joehendrix/lean-sat-checker
github
similar
arthurpaulino/NumLean
github
similar
gebner/lean4-mathlib-import
github
similar
ufmg-smite/lean-smt
github
similar
riswords/quiche
github
similar
dselsam/lean-gym
github
similar
leanprover/functional_programming_in_lean
github
similar
leanprover/lean4-samples
github
similar
diegcif/SumsOfSquares.m2
github
similar
nadia-polikarpova/cyclegg
github
similar
lecopivo/lean4-karray
github
similar
eionblanc/mini-sygus
github
similar
validsdp/validsdp
github
similar
codyroux/hoare-toy
github
similar
BIT-SYS/KDR
github
similar
jesse-michael-han/lean-step-public
github
similar
siddhartha-gadgil/lean-loris
github
similar
BartoszPiotrowski/lean-premise-selection
github
similar
paulaneeley/modal
github
similar
avigad/lamr
github
similar
albertocasagrande/BinaryDecisionDiagrams
github
similar
arthurpaulino/LeanMySQL
github
similar
JamesGallicchio/LeanColls
github
similar
jtristan/stump-learnable
github
similar
larsk21/iris-lean
github
similar
Coq-Polyhedra/Coq-Polyhedra
github
similar
yatima-inc/LSpec
github
similar
leanprover/LeanInk
github
similar
liffiton/minicard
github
similar
ejgallego/pycoq
github
similar
tydeu/lean4-alloy
github
similar
dricketts/teaching-concurrency
github
similar
alashworth/sf-lean
github
similar
siddhartha-gadgil/Saturn
github
similar
gebner/quote4
github
similar
blegat/SwitchOnSafety.jl
github
similar
opencompl/lean-mlir
github
similar