Hacker News new | ask | show | jobs
by portly 96 days ago
When I woke up this morning I could not have predicted someone calling a proof assistant a "Jack of all trades"
1 comments
moomin 92 days ago
“All trades in an extremely specific bounded context”!
link