Do syntax for propositional truncations, including application to strict real inequality #9106
Triggered via pull request
February 14, 2025 19:27
lowasser
Status
Success
Total duration
14m 32s
Artifacts
–
ci.yaml
on: pull_request
Matrix: typecheck
pre-commit
39s
link-check
1m 9s