Mercurial > hg > Papers > 2015 > atton-thesis
graph
-
Temporary saveTue, 10 Feb 2015 15:30:01 +0900, by Yasutaka Higa
-
Add description prove method in agdaTue, 10 Feb 2015 12:48:02 +0900, by Yasutaka Higa
-
Add curry-howad isomorphismTue, 10 Feb 2015 11:38:36 +0900, by Yasutaka Higa
-
Add description for natural deductionMon, 09 Feb 2015 22:13:18 +0900, by Yasutaka Higa