If `q : ℚ` is in the lower cut of a real, `real-ℚ q` is less than tha… · UniMath/agda-unimath@535aa73

Triggered via push February 8, 2025 21:39

master

Status Success

Total duration 12m 23s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size
Library profiling history	379 KB