Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.

There is a newer version of the record available.

Published October 23, 2019 | Version v0.1.0
Software Open

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

  • 1. INRIA
  • 2. University of British Columbia


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 Download all
8.3 MB Preview Download

Additional details

Related works