4 ms·
When I woke up this morning I could not have predicted someone calling a proof assistant a "Jack of all trades"
by portly 5mo ago
When I woke up this morning I could not have predicted someone calling a proof assistant a "Jack of all trades"
- moomin 5mo ago“All trades in an extremely specific bounded context”!