Skip to content

Fix Sint63 link in stdlib/index.html#245

Merged
andres-erbsen merged 1 commit intorocq-prover:masterfrom
mattam82:fix-sint63-link
Mar 5, 2026
Merged

Fix Sint63 link in stdlib/index.html#245
andres-erbsen merged 1 commit intorocq-prover:masterfrom
mattam82:fix-sint63-link

Commits

Commits on Mar 5, 2026