├── .github └── workflows │ └── docker-action.yml ├── .gitignore ├── Ccpo.v ├── Choice.v ├── Cover.v ├── LICENSE ├── Makefile ├── Misc.v ├── Monads.v ├── Probas.v ├── Prog.v ├── README.md ├── Sets.v ├── Uprop.v ├── Utheory.v ├── _CoqProject ├── coq-alea.opam ├── default.nix ├── dune ├── dune-project └── meta.yml /.github/workflows/docker-action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/.github/workflows/docker-action.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/.gitignore -------------------------------------------------------------------------------- /Ccpo.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/Ccpo.v -------------------------------------------------------------------------------- /Choice.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/Choice.v -------------------------------------------------------------------------------- /Cover.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/Cover.v -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/Makefile -------------------------------------------------------------------------------- /Misc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/Misc.v -------------------------------------------------------------------------------- /Monads.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/Monads.v -------------------------------------------------------------------------------- /Probas.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/Probas.v -------------------------------------------------------------------------------- /Prog.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/Prog.v -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/README.md -------------------------------------------------------------------------------- /Sets.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/Sets.v -------------------------------------------------------------------------------- /Uprop.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/Uprop.v -------------------------------------------------------------------------------- /Utheory.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/Utheory.v -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/_CoqProject -------------------------------------------------------------------------------- /coq-alea.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/coq-alea.opam -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/default.nix -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/dune-project -------------------------------------------------------------------------------- /meta.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-community/alea/HEAD/meta.yml --------------------------------------------------------------------------------