There is a newer version of this record available.

Software Open Access

ionathanch/coq: Practical Sized Typing for Coq (CPP 2020)

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.

Files (8.3 MB)
Name Size
ionathanch/coq-v0.1.0.zip
md5:e7aefa5691179e04379ade83445b3b76
8.3 MB Download
199
0
views
downloads
All versions This version
Views 199105
Downloads 00
Data volume 0 Bytes0 Bytes
Unique views 16789
Unique downloads 00

Share

Cite as