Software Open Access
The Coq Developement Team;
Chan, Jonathan
This is part of the supplementary materials of the initial submission to CPP 2020 for Practical Sized Typing for Coq.
Name | Size | |
---|---|---|
ionathanch/coq-v0.1.0.zip
md5:e7aefa5691179e04379ade83445b3b76 |
8.3 MB | Download |
All versions | This version | |
---|---|---|
Views | 333 | 123 |
Downloads | 4 | 0 |
Data volume | 34.9 MB | 0 Bytes |
Unique views | 267 | 107 |
Unique downloads | 4 | 0 |