Skip to content

Practical Sized Typing for Coq (CPP 2020)

Pre-release
Pre-release
Compare
Choose a tag to compare
@ionathanch ionathanch released this 23 Oct 06:14
· 2831 commits to dev since this release
v0.1.0
717e59d

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

Assets 2
Loading