Theorem Prover Advent Calendar 2016
Participant6People
Subscriber20People
31
Category:Programming language
Creator:@ghost
定理証明とか依存型とか
Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
27 | 28 | 29 | 30 | |||
c2atsで生成したATSコードに証明を導入する話 | ||||||
26 | 27 | 28 | 29 | 30 | 31 |
c2atsで生成したATSコードに証明を導入する話 | |
Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
27 | 28 | 29 | 30 | |||
c2atsで生成したATSコードに証明を導入する話 | ||||||
26 | 27 | 28 | 29 | 30 | 31 |
c2atsで生成したATSコードに証明を導入する話 | |