Skip to content

Hofmann-Streicher universes for graphs and globular types #8180

Hofmann-Streicher universes for graphs and globular types

Hofmann-Streicher universes for graphs and globular types #8180

Annotations

1 warning

pre-commit

succeeded Oct 25, 2024 in 38s