3 ms·
A descendant of this guy is hard at work in theorem proving: http://www21.in.tum.de/~nipkow/ http://www21.in.tum.de/~nipkow/
by auggierose 7y ago
A descendant of this guy is hard at work in theorem proving: http://www21.in.tum.de/~nipkow/ http://www21.in.tum.de/~nipkow/
- YorkshireSeason 7y agoIs this a joke or is Tobias a (great) grandson of Paul Gottlieb's?
- auggierose 7y agoNot a joke. I asked him about that (quite) a few years ago, and he indeed is :-)