Have ideas from programming helped us create new mathematical proofs? (proofassistants.stackexchange.com) 1 points by chromoblob 3y ago ↗ HN
0 comments
[ 4.4 ms ] story [ 12.7 ms ] threadNo comments yet.