Similar repositories to slasser/CoStar:
slasser/CoStar
github
similar
neel-krishnaswami/ott-example
github
similar
bedrocksystems/cpp2v
github
similar
c-cube/smtlib-utils
github
similar
Lysxia/coq-recursion-schemes
github
similar
lthms/coq-comparse
github
similar
Twey/agda-imp
github
similar
Dargones/libraries
github
similar
JasonGross/coq-union-find
github
similar
CertiGraph/CertiGraph
github
similar
backtracking/program-proofs-with-why3
github
similar
slasser/AllStar
github
similar
CVC4/signatures
github
similar
amahboubi/lia4mathcomp
github
similar
ptarau/LeanProlog
github
similar
drouhling/LaSalle
github
similar
shaobo-he/handbook-of-practical-logic-and-automated-reasoning-in-racket
github
similar
penteract/HigherOrderHornRefinement
github
similar
dwarfmaster/commutative-diagrams
github
similar
pbrosnan/ntg
github
similar
mit-plv/rewriter
github
similar
parsonsmatt/unification
github
similar
codyroux/tinymatch
github
similar
Lysxia/coq-ceres
github
similar
fpottier/loop
github
similar
uds-psl/churchs-thesis-coq
github
similar
arbipher/llvm-ocaml-tutorial
github
similar
tammet/json-ld-logic
github
similar
roglo/coq_real
github
similar
backtracking/ocaml-bdd
github
similar
wenkokke/swillprover
github
similar
pi8027/efficient-finfun
github
similar
mmcco/verified-parser-example
github
similar
aprolog-lang/aprolog
github
similar
avigad/arwm
github
similar
thery/PolTac
github
similar
c-cube/trustee
github
similar
samuelgruetter/coq-smt-notations
github
similar
cobusve/TLAPLUS_DeadlockEmpire
github
similar
mb64/simple-lambda-prolog
github
similar