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