Theorem Prover Advent Calendar 2016

作成者: cutsea110 cutsea110

定理証明とか依存型とか

12 / 18
c2atsで生成したATSコードに証明を導入する話
12 / 24
nat を string で十進表記する(ハードモード)