EasyChair Smart SlideDocs/Log in
Author: Florian Rabe

This page shows all presentations of this author published in EasyChair Smart Slide.

Theorem Proving in Dependently-Typed Higher-Order Logic

Theorem Proving in Dependently-Typed Higher-Order Logic

Colin Rothgang, Florian Rabe and Christoph Benzmüller

A Survey of Languages for Formalizing Mathematics

A Survey of Languages for Formalizing Mathematics

Cezary Kaliszyk and Florian Rabe

Theories as Types

Theories as Types

Dennis Müller, Florian Rabe and Michael Kohlhase

Theories as Types

Theories as Types

Dennis Müller, Florian Rabe and Michael Kohlhase

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair