How to halve a number in Coq (the theorem prover) (muaddibspace.blogspot.com) 1 points by hhm 17y ago ↗ HN
0 comments
[ 2.9 ms ] story [ 23.8 ms ] threadNo comments yet.