Theorem Prover Advent Calendar 2014

9
13
0

定理証明支援系に関する Advent Calendar です。


Owner: amutake amutake

Calendar Sponsor PR

12 / 13
tmiya_ tmiya_
Coqのnsatzタクティックについて --> すみません、あとで書きます
12 / 21
masahiro_sakai masahiro_sakai
自動定理証明器としてのSATソルバ→すみません遅れます
12 / 23
kikx kikx
続きを書くぞい
12 / 25
master_q master_q
ATSについてひたすら語る予定です