Published January 5, 2024
| Version v1
Software
Open
Definitional Functoriality for Dependent (Sub)Types - Companion Artifact
Creators
Files
Files
(3.6 GB)
Name | Size | Download all |
---|---|---|
md5:9e5a3eff4be6e2e5068a407350f6b1c9
|
3.6 GB | Download |
md5:1e4881f882378899810681a811ca77ff
|
24.0 MB | Download |