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)

Creators

  • 1. INRIA
  • 2. University of British Columbia

Description

This is part of the supplementary materials of the initial submission to CPP 2020 for Practical Sized Typing for Coq.

Files

ionathanch/coq-v0.1.0.zip

Files (8.3 MB)

Name Size Download all
md5:e7aefa5691179e04379ade83445b3b76
8.3 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/ionathanch/coq/tree/v0.1.0 (URL)