coq-algorand

A verified model of the Algorand consensus protocol in Coq

opam install coq-algorand.1.3
homepage
https://github.com/runtimeverification/algorand-verification
license
NCSA
bugs tracker
https://github.com/runtimeverification/algorand-verification/issues
dependencies
"coq" {>= "8.12" & < "8.13~"} "coq-mathcomp-ssreflect" {>= "1.11" & < "1.12~"} "coq-mathcomp-algebra" "coq-mathcomp-finmap" {>= "1.5"} "coq-mathcomp-analysis" {>= "0.3.2"} "coq-record-update"
source
https://github.com/runtimeverification/algorand-verification/archive/release-1.3.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-algorand/coq-algorand.1.3