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
1.2K
1 Source, first seen ago