There is a newer version of this record available.

Software Open Access

ionathanch/coq: Practical Sized Typing for Coq (POPL 2021)

The Coq Development Team; Chan, Jonathan

This is the release for the anonymous supplementary materials for the initial submission of Practical Sized Typing for Coq to POPL 2021.

Note that we do not rebase past ce500b3 because commits 3358163 (case inversion for SProp) and 8907a5b (primitive arrays) introduce large changes to the core construction (Constr.constr).

Files (8.7 MB)
Name Size
ionathanch/coq-V8.12+sized.zip
md5:d82f09f64a8bceb18a21e121e3078744
8.7 MB Download
333
4
views
downloads
All versions This version
Views 33395
Downloads 42
Data volume 34.9 MB17.4 MB
Unique views 26791
Unique downloads 42

Share

Cite as