練習リポ

Coq で練習してたファイルたちを github で管理。
rf0444's coq