Issues
- 4
Coercions should be explicitly imported
#23 opened by ppedrot - 1
`cofix` tactic without a name is deprecated
#18 opened by ejgallego - 1
- 1
No LICENSE
#1 opened by JasonGross - 1
Project does not build with CoRN from opam
#5 opened by JasonGross - 0
master branch cannot checkout corn
#2 opened by JasonGross