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