Joke
A hope to get along with automated theorem proving
A user compares that hope to the relationship between automated tunneling machinery and the Swiss.
TLDR
A user says they hope to get on with automated theorem proving “like automated tunneling machinery and the swiss.”
Combined views
347
1 Source, first seen ago
3 likes