Michael works as a researcher on the project “Interactive Proof: Proof Translation, Premise Selection, Rewriting “.
June 16, 2014: CL welcomes Michael Färber as new member
- Details
- Category: News Archive
- Read Time: 1 min
Michael works as a researcher on the project “Interactive Proof: Proof Translation, Premise Selection, Rewriting “.