Proof of correctness of addition and multiplication of Church numerals in Agda#1
Open
timjb wants to merge 8 commits into
Open
Proof of correctness of addition and multiplication of Church numerals in Agda#1timjb wants to merge 8 commits into
timjb wants to merge 8 commits into
Commits
Commits on May 26, 2013
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
