Skip to content

Add rocq-spatial-algebra.0.1.0 and rocq-robust-predicates.0.1.0 - #3829

Merged
proux01 merged 8 commits into
rocq-prover:masterfrom
grootstebozewolf:add-nts-proofs-rocq-packages-0.1.0
Aug 27, 2026
Merged

Add rocq-spatial-algebra.0.1.0 and rocq-robust-predicates.0.1.0#3829
proux01 merged 8 commits into
rocq-prover:masterfrom
grootstebozewolf:add-nts-proofs-rocq-packages-0.1.0

Add the geometric keywords the rename implied

71dbfd2
Select commit
Loading
Failed to load commit list.
coqbot-app / GitLab CI pipeline (pull request) succeeded Aug 27, 2026 in 0s

Pipeline completed successfully on GitLab CI

This GitLab pipeline sets the following variables:

It contains the following stages and jobs:

GitLab Project ID: 55429

View more details on coqbot-app