Update to latest rocq - #18

Closed

srghma wants to merge 9 commits into

logsem:masterfrom

Commits on Jul 22, 2026

feat: update to latest rocq -> nix check passes
srghma
committed
ddb1144
feat: update to latest rocq -> sed /coq/rocq/
srghma
committed
1f86179
feat: update to latest rocq -> fix "make all && make html"
srghma
committed
e26d082
feat: update to latest rocq -> fix "make all && make html"
srghma
committed
21704b8
feat: update to latest rocq -> update vscode ext
srghma
committed
608c87a
feat: update to latest rocq -> dockerfiles
srghma
committed
946ee8e
feat: update to latest rocq -> dockerfiles
srghma
committed
8ee73c7

Commits on Jul 24, 2026

feat: update to latest rocq -> to not deal with docker images deployments use rocq-prover/docker-opam-action@v1 (replace gawk with awk to avoid installing it in ci)
srghma
committed
4bd9798

Commits on Jul 26, 2026

feat: add pdf generation
srghma
committed
0950bfd