定理証明支援システムCoqの勉強会です。

• https://github.com/suharahiromichi/coq/blob/master/elpi/coq_elpi_list.md

Command の Command の例から

• https://github.com/suharahiromichi/coq/blob/master/elpi/coq_elpi_command_2.v

• Coqのmatch 式について

https://qiita.com/suharahiromichi/items/5f2cd274b87cbd7fae63

• λProlog の copy-clauses 技法

https://qiita.com/suharahiromichi/items/70696ba792ef3739945a

参加をご希望のかたは、管理者までお問い合わせください。

可能ならば coq-mathcomp を事前にインストールしておいてください。

一部資料は非公開なので、参照には gitlab のアカウントを用意してください。

以上

延期の予定はなくなりました。3/18に実施します。