Similar repositories to holgerthies/coq-aern:

• holgerthies/coq-aern github similar
• alaingiorgetti/enum github similar
• FlorianSteinberg/coqrep github similar
• park-sewon/iRRAM-Random github similar
• monadius/ocaml_simple_interval github similar
• michalkonecny/aern2 github similar
• samuelgruetter/coq-smt-notations github similar
• backtracking/program-proofs-with-why3 github similar
• pdarragh/camlrack github similar
• OCamlPro/ocplib-simplex github similar
• LaurentMazare/ocaml.jl github similar
• termite-analyser/llvm2smt github similar
• c-cube/quip github similar
• thierry-martinez/pyast github similar
• backtracking/creal github similar
• nikomatsakis/polonius.next github similar
• patricoferris/jsoo-p5 github similar
• clarus/coq-of-js github similar
• ktahar/ocaml-lp github similar
• xavierleroy/cdf-program-logics github similar
• bzhan/holpy github similar
• smtcoq/sniper github similar
• biotomas/ipasir github similar
• binsec/Rel github similar
• hellerve/microml github similar
• tlringer/plugin-tutorial github similar
• xavierleroy/cdf-mech-sem github similar
• ejgallego/pycoq github similar
• verse-lab/ego github similar
• ocaml-gospel/cameleer github similar
• kind2-mc/kind2 github similar
• corwin-of-amber/ocaml-wasm github similar
• norbert-mueller/iRRAM github similar
• scmu/foundations-harper github similar
• vocal-project/vocal github similar
• WasmCert/WasmCert-Coq github similar
• gelisam/category-syntax github similar
• tchajed/goose github similar
• arminbiere/satch github similar
• antoinemine/apron github similar