Hatena::Groupcsnagoya-sicp

yoshihiro503の日記

 | 

2009-04-11Exercise 2.2 2.4 2.6

Exercise 2.4

17:47

Ex 2.4 は Coqで証明してみた。

Coqの証明

 |