├── .gitlab-ci.yml ├── CONTRIBUTING.md ├── LICENSE ├── README.md ├── default.nix └── src ├── .gitignore ├── _CoqProject ├── abstract.v ├── bool.v ├── bootstrap ├── congr.v ├── datatypes.v ├── decimal.v ├── equality.v ├── functions.v ├── hexadecimal.v ├── lock.v ├── matching.v ├── nat.v ├── number.v ├── prelude.v ├── prelude_plugins.v ├── prop.v └── ssreflect.v /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/README.md -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/default.nix -------------------------------------------------------------------------------- /src/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/.gitignore -------------------------------------------------------------------------------- /src/_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/_CoqProject -------------------------------------------------------------------------------- /src/abstract.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/abstract.v -------------------------------------------------------------------------------- /src/bool.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/bool.v -------------------------------------------------------------------------------- /src/bootstrap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/bootstrap -------------------------------------------------------------------------------- /src/congr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/congr.v -------------------------------------------------------------------------------- /src/datatypes.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/datatypes.v -------------------------------------------------------------------------------- /src/decimal.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/decimal.v -------------------------------------------------------------------------------- /src/equality.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/equality.v -------------------------------------------------------------------------------- /src/functions.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/functions.v -------------------------------------------------------------------------------- /src/hexadecimal.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/hexadecimal.v -------------------------------------------------------------------------------- /src/lock.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/lock.v -------------------------------------------------------------------------------- /src/matching.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/matching.v -------------------------------------------------------------------------------- /src/nat.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/nat.v -------------------------------------------------------------------------------- /src/number.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/number.v -------------------------------------------------------------------------------- /src/prelude.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/prelude.v -------------------------------------------------------------------------------- /src/prelude_plugins.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/prelude_plugins.v -------------------------------------------------------------------------------- /src/prop.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/prop.v -------------------------------------------------------------------------------- /src/ssreflect.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rocq-archive/stdlib2/HEAD/src/ssreflect.v --------------------------------------------------------------------------------