proof-sizes.awk missing "Proposition" #45
Description
Basically exactly the title. I've had to add Proposition to my own database when messing with compcert, maybe you don't need it here.
{{ message }}
Basically exactly the title. I've had to add Proposition to my own database when messing with compcert, maybe you don't need it here.