Formalization in Coq. Export to Coq (closes #58)
Merge pull request #73 from ilya-klyuchnikov/coq

Formalization in Coq. Export to Coq (closes #58)