How to halve a number in Coq (the theorem prover)http://muaddibspace.blogspot.com/2009/03/how-to-halve-number.html by hhm • 17 years ago 1 0 17 years agoMUmuaddibspace.blogspot.com