Théo Winterhalter

icon indicating a website link https://theowinterhalter.github.io/ icon indicating an email [email protected]

icon company INRIA Saclay icon location Saclay icon location Researcher, proof assistants and dependent types

Results 2 repositories owned by Théo Winterhalter

formal-type-theory

90
Stars
4
Forks
Watchers

Formalising Type Theory in a modular way for translations between type theories

verified publisher icon TheoWinterhalter

phd-thesis

30
Stars
2
Forks
Watchers

Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.

verified publisher icon TheoWinterhalter