main/roctetorder
main/roctetorder
Watch
2
0
Fork
You've already forked roctetorder
 0
Code Releases Activity
Octet order theorems
19 commits 1 branch 0 tags 209 KiB
  • Rocq Prover 85.9%
  • Shell 14.1%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Mark Raynsford 8bfafd0831
 Update workflows.
2026-07-31 18:42:59 +01:00
.forgejo Update workflows. 2026-07-31 18:42:59 +01:00
src Rename coq -> rocq. 2026-04-25 13:21:07 +01:00
.gitignore Use an OPAM json file. 2025-12-12 19:23:29 +00:00
doc7m-books.json Add doc7m-books.json 2026-07-31 18:36:50 +01:00
README-CHANGES.xml Add changelog. 2025-12-12 19:41:44 +00:00
README-LICENSE.txt Initial version. 2025-12-12 16:32:54 +00:00
README.in Migrate project. 2026-06-27 10:42:18 +01:00
README.md Migrate project. 2026-06-27 10:42:18 +01:00
rocq-clean.sh Rename coq -> rocq. 2026-04-25 13:21:07 +01:00
rocq-doc.sh Rename coq -> rocq. 2026-04-25 13:21:07 +01:00
rocq-ide.sh Rename coq -> rocq. 2026-04-25 13:21:07 +01:00
rocq-make.sh Rename coq -> rocq. 2026-04-25 13:21:07 +01:00
roctetorder.opam Fix URLs (again). 2026-03-28 11:31:59 +00:00
roctetorder.opam.json Migrate project. 2026-06-27 10:42:18 +01:00

README.md

roctetorder

com.io7m.roctetorder

roctetorder

The roctetorder package provides theorems about octet ordering.

Build

$ opam install . --deps-only
$ ./rocq-make.sh