We should be able to automate what the human mind can express. Our idea is to take charge of the bureaucratic details of a proof so that the developer needs only concentrate on the creative and interesting part of that proof. This is the motto of Hans-Jörg Schurr, a young…
Strictly Necessary Cookie should be enabled at all times so that we can save your preferences for cookie settings.
If you disable this cookie, we will not be able to save your preferences. This means that every time you visit this website you will need to enable or disable cookies again.