EasyChair Smart SlideHelp/Log in
Author: Florian Rabe

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

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: 3
Copyright © 2002 – 2021 EasyChair