Open
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.
Metadata
Metadata
Assignees
Labels
No labels
{{ message }}
No one assigned
No labels
No type
No projects
No milestone
None yet
No branches or pull requests