Theorem Prover Advent Calendar 2017

8
12
26

定理証明しませう


Calendar Sponsor PR

Theorem Prover Advent Calendar is looking for participants

12 / 9
y_taka_23 y_taka_23
Stainless による定理証明
12 / 15
nobsun nobsun
なンか
12 / 18
masateruk masateruk
Isabelleで何か
12 / 22
unaoya unaoya
なにかかきます
12 / 23
erutuf13 erutuf13
Coqがチューリング完全であることかなにか