vtourneur's repositories
FreeSpec
Compositional reasoning framework for the Coq proof assistant
Language:CoqGPL-3.0000
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:ShellCC0-1.0000
Compositional reasoning framework for the Coq proof assistant
Main public package repository for opam, the source package manager of OCaml.