🆕 新着Qiita記事をお知らせします。​

​『「恋と禁忌の述語論理」における論理学』
https://qiita.com/41semicolon/items/c92d3acd53cfb6713ece by @41semicolon @​Qiita

#coq_qiita #論理学_qiita

🆕 新着Qiita記事をお知らせします。​

​『メタ論理における論理をCoqでコードにしてみた』
https://qiita.com/41semicolon/items/21bb4c2c1540b819d098 by @41semicolon @​Qiita

#coq_qiita #ポエム_qiita #論理学_qiita

🆕 新着Qiita記事をお知らせします。​

​『VimでCoq 改』
https://qiita.com/luma/items/693f450212b83511bf5b by @luma @​Qiita

#vim_qiita #coq_qiita

🆕 新着Qiita記事をお知らせします。​

​『coq-hammerを試してみる』
https://qiita.com/kubo39/items/a288343c6c25bab87902 by @kubo39 @​Qiita

#coq_qiita

🆕 新着Qiita記事をお知らせします。​

​『Ubuntu 18.04/19.10にcoq-jupyterをインストールする』
https://qiita.com/kioto/items/9847d0a995b899e7790d by @kioto @​Qiita

#coq_qiita #ubuntu_qiita #jupyter_qiita #ubuntu18_04_qiita

🆕 新着Qiita記事をお知らせします。​

​『Coqで選択公理⇔ツォルンの補題を証明してみた(後編)』
https://qiita.com/Meizen_OS/items/662eef622cf989f8b5ba by @meizen_os @​Qiita

#coq_qiita #数学_qiita #ソースコード_qiita #選択公理_qiita #ツォルンの補題_qiita

🆕 新着Qiita記事をお知らせします。​

​『Coqで選択公理⇔ツォルンの補題を証明してみた(中編)』
https://qiita.com/Meizen_OS/items/4dde1a9c8fbfa649db0a by @meizen_os @​Qiita

#coq_qiita #数学_qiita #ソースコード_qiita #選択公理_qiita #ツォルンの補題_qiita

🆕 新着Qiita記事をお知らせします。​

​『Coqで選択公理⇔ツォルンの補題を証明してみた』
https://qiita.com/Meizen_OS/items/30cd4fb59ade0b94276e by @meizen_os @​Qiita

#coq_qiita #数学_qiita #ソースコード_qiita #集合論_qiita #選択公理_qiita

🆕 新着Qiita記事をお知らせします。​

​『Egisonプログラムの証明 - 序論 -』
https://qiita.com/suharahiromichi/items/86e5eead99f12b29c18d by @suharahiromichi @​Qiita

#coq_qiita #ssreflect_qiita #mathcomp_qiita #egison_qiita

🆕 新着Qiita記事をお知らせします。​

​『ホーア論理との出会い』
https://qiita.com/41semicolon/items/3f4a66657c392573f732 by @41semicolon @​Qiita

#coq_qiita #論理学_qiita