HOME | ENGLISH | IMPRESSUM | KIT

Dr. Jakob von Raumer

photo

Kontakt

Tel.: +49 721 608-47401

Email: Loading...

IPD Prof. Snelting

Raum 022, Gebäude 50.34

Am Fasanengarten 5

76131 Karlsruhe

Deutschland

Sprechzeiten: Montag & Dienstag

Arbeitsgebiete

Interaktive Theorembeweiser, Typentheorie, Kategorientheorie, Homotopietypentheorie

Lehre

Veröffentlichungen

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

Betreute Studien- und Abschlussarbeiten

abgeschlossen