FroCoS 2021: Hans-Jörg Schurr is the Author of the Best Paper by a Junior Researcher
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…
