Similar repositories to impermeable/waterproof:
impermeable/waterproof
github
similar
ejgallego/coq-universe
github
similar
impermeable/coq-waterproof
github
similar
ivanvoitalov/tail-estimation
github
similar
IBM/probzelus
github
similar
DeepSpec/dsss18
github
similar
coq/opam-coq-archive
github
similar
ejgallego/coq-serapi
github
similar
coq-community/coq-ext-lib
github
similar
ocaml/RFCs
github
similar
awesomo4000/awesome-provable
github
similar
Deducteam/Dedukti
github
similar
DeepSpec/InteractionTrees
github
similar
ocaml/Zarith
github
similar
mattam82/Coq-Equations
github
similar
MaiaVictor/Cedille-Core
github
similar
backtracking/ocamlgraph
github
similar
mit-plv/bedrock2
github
similar
coq-community/vscoq
github
similar
jscoq/jscoq
github
similar
ocaml-community/yojson
github
similar
MetaCoq/metacoq
github
similar
ocamllabs/vscode-ocaml-platform
github
similar
jaor/geiser
github
similar
ProofGeneral/PG
github
similar
math-comp/math-comp
github
similar
vellvm/vellvm
github
similar
cpitclaudel/company-coq
github
similar
PrincetonUniversity/VST
github
similar
ocaml-ppx/ppx_deriving
github
similar
Gabriel439/Haskell-Morte-Library
github
similar
tchajed/coq-tricks
github
similar
polyml/polyml
github
similar
seL4/l4v
github
similar
idris-hackers/software-foundations
github
similar
gelisam/frp-zoo
github
similar
pushcx/hpffp-resources
github
similar
achlipala/frap
github
similar
espeed/bulbs
github
similar
jech/galene
github
similar