Skip to content
Back to pull request #1243

Some extensions of the fundamental theorem of identity types #8538

Sign in to view logs

Some extensions of the fundamental theorem of identity types

Some extensions of the fundamental theorem of identity types #8538

typecheck (macOS-13, 2.7.0)

typecheck (macOS-13, 2.7.0)
succeeded Jan 29, 2025 in 18m 47s