Do syntax for propositional truncations, including application to strict real inequality #9087
Triggered via pull request
February 14, 2025 00:44
lowasser
Status
Success
Total duration
14m 23s
Artifacts
–
ci.yaml
on: pull_request
Matrix: typecheck
pre-commit
40s
link-check
1m 2s