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