Theorem Prover Advent Calendar 2014
Participant9People
Subscriber0People
0
Category:Not set
Creator:
@amutake
定理証明支援系に関する Advent Calendar です。
Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
30 | ||||||
Coqのnsatzタクティックについて --> すみません、あとで書きます | ||||||
自動定理証明器としてのSATソルバ→すみません遅れます | 続きを書くぞい | ATSについてひたすら語る予定です | 26 | 27 |
Coqのnsatzタクティックについて --> すみません、あとで書きます | |
自動定理証明器としてのSATソルバ→すみません遅れます | |
続きを書くぞい | |
ATSについてひたすら語る予定です |
Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
30 | ||||||
Coqのnsatzタクティックについて --> すみません、あとで書きます | ||||||
自動定理証明器としてのSATソルバ→すみません遅れます | 続きを書くぞい | ATSについてひたすら語る予定です | 26 | 27 |
Coqのnsatzタクティックについて --> すみません、あとで書きます | |
自動定理証明器としてのSATソルバ→すみません遅れます | |
続きを書くぞい | |
ATSについてひたすら語る予定です |