3 ms·
If you're interested in Agda Proofs - this is a well written post by Brian McKenna demonstrating that the sum of two odd numbers is always even. http://brianmc
by juliangamble 13y ago
If you're interested in Agda Proofs - this is a well written post by Brian McKenna demonstrating that the sum of two odd numbers is always even.
http://brianmckenna.org/blog/plus_equals_even_take_2 http://brianmckenna.org/blog/plus_equals_even_take_2