4 ms·

you' kiddin?

• soVeryTired 8y ago
  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.