Closed JasonGross closed 7 years ago
This closes #69.
This change would help https://github.com/DanGrayson/coq-builder
This closes #69.