Proof of correctness of addition and multiplication of Church numerals in Agda#1
Open
timjb wants to merge 8 commits intopi8027:masterfrom timjb:master
+262-25
Commits
Commits on May 26, 2013
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
