Count commands used in a Coq script
Copyright © 2015
Camil Staps
- licensed under
MIT
.
Enter Coq script here