package coq-cybele
A Coq plugin for simpler proofs by reflection or OCaml certificates
Install
Dune Dependency
Authors
Maintainers
Sources
1.3.0.tar.gz
md5=e453430d1c377c65904ae6c2ed3c54be
On This Page