Published January 5, 2024
| Version v2
Software
Open
Definitional Functoriality for Dependent (Sub)Types - Companion Artifact
Authors/Creators
Files
Files
(3.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:b00cd743a4e4c674db7f128cf07a4690
|
3.6 GB | Download |
|
md5:5dea74e71334296d31636e4452177df6
|
24.0 MB | Download |