How to halve a number in Coq (the theorem prover)muaddibspace.blogspot.com1 point·hhm··0 commentsOpen articleSaveView on HN