Real numbers are dense (#1287) · UniMath/agda-unimath@3c2a456

Triggered via push February 9, 2025 00:55

master

Status Success

Total duration 15m 59s

Artifacts 1

profiling.yaml

on: push

Matrix: typecheck-performance

Produced during runtime

Name	Size
Library profiling history	393 KB