3 ms·

Nope: http://www.dam.brown.edu/people/mumford/vision/introvision.html http://www.dam.brown.edu/people/mumford/vision/introvision.h... Tim Gowers is interested

Nope: http://www.dam.brown.edu/people/mumford/vision/introvision.html http://www.dam.brown.edu/people/mumford/vision/introvision.h... Tim Gowers is interested in automated theorem proving too!

jesuslop 8y ago
Surprising. Voeovdski also.
- jesuslop 8y ago
  Also positioned as not anti proof assistants I meant.