Show threadQithub(bot)Dec 2, 2019

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

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

#coq_qiita #ssreflect_qiita #mathcomp_qiita #egison_qiita

Egisonプログラムの証明 - 序論 - - Qiita

Egisonプログラムの証明 - 序論 - ====== 2019/12/07 本記事は「Egison Advent Calendar 2019」 https://qiita.com/advent-calendar/2019/egi...