coq-ceramist

Coq library for reasoning about probabilistic algorithms

opam install coq-ceramist.1.0.1
homepage
https://github.com/certichain/ceramist
license
GPL-3.0-or-later
bugs tracker
https://github.com/certichain/ceramist/issues
dependencies
"coq" {>= "8.11.0"} "coq-mathcomp-ssreflect" {>= "1.10" & < "1.11~"} "coq-mathcomp-analysis" {>= "0.2.3" & < "0.3~"} "coq-infotheo" {>= "0.1" & < "0.2~"}
source
https://github.com/certichain/ceramist/archive/1.0.1.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-ceramist/coq-ceramist.1.0.1