kohlhase Goto Github PK
Name: Michael Kohlhase
Type: User
Company: Computer Science, FAU Erlangen Nürnberg
Bio: Professor of Computer Science at FAU Erlangen-Nürnberg. The @KWARC group works (on systems for) the representation and management of mathematical knowledge
Location: Erlangen, Germany