Published January 14, 2024
| Version v3
Software
Open
Definitional Functoriality for Dependent (Sub)Types - Companion Artifact
Authors/Creators
Files
Files
(3.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:c16211cdd21d2cf5726b4967f867c967
|
3.6 GB | Download |
|
md5:b6d071be4eb04a0bfa1b5eae04a0a798
|
24.5 MB | Download |