main/rentomos
main/rentomos
Watch
2
0
Fork
You've already forked rentomos
 0
Code Releases Activity
Entomos specification
12 commits 1 branch 0 tags 210 KiB
  • Rocq Prover 92.7%
  • Shell 7.3%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Mark Raynsford fface97d5b
 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:53:38 +01:00
.gitignore Initial version. 2025-12-13 10:51:25 +00:00
doc7m-books.json Add doc7m-books.json 2026-07-31 18:36:49 +01:00
README-CHANGES.xml Initial version. 2025-12-13 10:51:25 +00:00
README-LICENSE.txt Initial version. 2025-12-13 10:51:25 +00:00
README.in Migrate project. 2026-06-27 10:45:03 +01:00
README.md Migrate project. 2026-06-27 10:45:03 +01:00
rentomos.opam Fix URLs. 2026-06-27 10:47:24 +01:00
rentomos.opam.json Fix URLs. 2026-06-27 10:47:24 +01:00
rocq-clean.sh Rename coq -> rocq. 2026-04-25 13:53:38 +01:00
rocq-doc.sh Rename coq -> rocq. 2026-04-25 13:53:38 +01:00
rocq-ide.sh Rename coq -> rocq. 2026-04-25 13:53:38 +01:00
rocq-make.sh Rename coq -> rocq. 2026-04-25 13:53:38 +01:00

README.md

rentomos

com.io7m.rentomos

rentomos

The rentomos package provides a formal specification for the entomos package.

Build

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