etawang/coq-practice

Practice and experimentation with the Coq proof assistant

Coq