@software{the_coq_development_team_2020_3937941, author = {The Coq Development Team and Chan, Jonathan}, title = {{ionathanch/coq: Practical Sized Typing for Coq (POPL 2021)}}, month = jul, year = 2020, publisher = {Zenodo}, version = {V8.12+sized}, doi = {10.5281/zenodo.3937941}, url = {https://doi.org/10.5281/zenodo.3937941} }