November 28, 2018: Michael Färber defends his PhD thesis

Michael Färber successfully defended his PhD thesis on Learning Proof Search in Proof Assistants. Congratulations!

Details
Category: News Archive
Read Time: 1 min