Skip to content
agda-unimath CI

Some extensions of the fundamental theorem of identity types #8515

Sign in to view logs

Some extensions of the fundamental theorem of identity types

Some extensions of the fundamental theorem of identity types #8515

Annotations

1 warning

pre-commit

pre-commit
succeeded Jan 27, 2025 in 40s