├── .gitattributes ├── .github └── workflows │ └── docker-action.yml ├── .gitignore ├── LICENSE.md ├── Makefile ├── Makefile.coq.local ├── README.md ├── _CoqProject ├── coq-algorand.opam ├── dune-project ├── meta.yml ├── resources ├── index.md └── pdf-icon.png └── theories ├── algorand_model.v ├── dune ├── fmap_ext.v ├── liveness.v ├── quorums.v ├── safety.v └── safety_helpers.v /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/docker-action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/.github/workflows/docker-action.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.coq.local: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/Makefile.coq.local -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/README.md -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/_CoqProject -------------------------------------------------------------------------------- /coq-algorand.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/coq-algorand.opam -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/dune-project -------------------------------------------------------------------------------- /meta.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/meta.yml -------------------------------------------------------------------------------- /resources/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/resources/index.md -------------------------------------------------------------------------------- /resources/pdf-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/resources/pdf-icon.png -------------------------------------------------------------------------------- /theories/algorand_model.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/theories/algorand_model.v -------------------------------------------------------------------------------- /theories/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/theories/dune -------------------------------------------------------------------------------- /theories/fmap_ext.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/theories/fmap_ext.v -------------------------------------------------------------------------------- /theories/liveness.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/theories/liveness.v -------------------------------------------------------------------------------- /theories/quorums.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/theories/quorums.v -------------------------------------------------------------------------------- /theories/safety.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/theories/safety.v -------------------------------------------------------------------------------- /theories/safety_helpers.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/runtimeverification/algorand-verification/HEAD/theories/safety_helpers.v --------------------------------------------------------------------------------