#18 with modifications - #19

Merged

simongregersen merged 12 commits into

Jul 31, 2026

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

Commits on Jul 31, 2026

update ci
simongregersen
committed
f30ea53
fix dependencies
simongregersen
committed
a8c0fd3
update devcontainer Dockerfile
simongregersen
committed
5e03a24