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

Commits on Aug 25, 2026

Add rocq-spatial-algebra.0.1.0
grootstebozewolf
committed
fcb49f8
Add rocq-robust-predicates.0.1.0
grootstebozewolf
committed
daadf67
Trim the coq-flocq rationale to what a reviewer needs
grootstebozewolf
committed
516084e