Comment by portly

19 hours ago

When I woke up this morning I could not have predicted someone calling a proof assistant a "Jack of all trades"

0 comments