Let's Abandon the Cogito and Use Type Theory Instead (advancedresearch.github.io) 2 points by bvssvni 4y ago ↗ HN
0 comments
[ 2.3 ms ] story [ 4.0 ms ] threadNo comments yet.