Skip to content
agda-unimath CI

Some extensions of the fundamental theorem of identity types #8535

Sign in to view logs

Some extensions of the fundamental theorem of identity types

Some extensions of the fundamental theorem of identity types #8535

Annotations

2 errors

typecheck (macOS-13, 2.7.0)

typecheck (macOS-13, 2.7.0)
cancelled Jan 29, 2025 in 9m 42s