├── .github └── workflows │ └── coq-ci.yml ├── .gitignore ├── Lattice.v ├── Makefile ├── README.md ├── _CoqProject ├── coq-lattice.opam ├── default.nix └── shell.nix /.github/workflows/coq-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/coq-lattice/HEAD/.github/workflows/coq-ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/coq-lattice/HEAD/.gitignore -------------------------------------------------------------------------------- /Lattice.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/coq-lattice/HEAD/Lattice.v -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/coq-lattice/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/coq-lattice/HEAD/README.md -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- 1 | Lattice.v 2 | -------------------------------------------------------------------------------- /coq-lattice.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/coq-lattice/HEAD/coq-lattice.opam -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/coq-lattice/HEAD/default.nix -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jwiegley/coq-lattice/HEAD/shell.nix --------------------------------------------------------------------------------