Skip to content

Hofmann-Streicher universes for graphs and globular types #8280

Hofmann-Streicher universes for graphs and globular types

Hofmann-Streicher universes for graphs and globular types #8280

Annotations

1 warning

pre-commit

succeeded Nov 15, 2024 in 36s