HOME | DEUTSCH | IMPRESSUM | KIT

Dr. Jakob von Raumer

photo

Contact

Phone: +49 721 608-47401

Email: Bitte warten...

IPD Prof. Snelting

Room 022, Building 50.34

Am Fasanengarten 5

76131 Karlsruhe

Germany

Consultation Hours: Montag & Dienstag

Research interests

Interactive Theorem Provers, Type Theory, Category Theory, Homotopy Type Theory

Courses

Publications

2020

2019

2017

  • Homotopy Type Theory in Lean
    Interactive Theorem Proving - 8th International Conference, ITP 2017, Bras{\'{\i}}lia, Brazil, September 26-29, 2017, Proceedings 2017, pp. 479--495 : F. v. Doorn, J. v. Raumer, U. Buchholtz

2016

2015

  • The Lean Theorem Prover (System Description)
    Automated Deduction - {CADE-25} - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings 2015, pp. 378--388 : L. M. d. Moura, S. Kong, J. Avigad, F. v. Doorn, J. v. Raumer

Advised thesis projects

finished