Naproche - Natural Language Proof Checking
"; ?>

Seminar on Formal Mathematics

Between 2008 and 2012, Prof. Dr. Peter Koepke and Prof. Dr. Bernhard Schröder organized the Seminar on Formal Mathematics. The talks were given by invited speakers on topics relevant to the Naproche project. The pages linked below list the talks given during the different semesters in this time period.


Last changed June 14 2018