ThΓ©o Winterhalter (@TheoWinterhalter)
github

TheoWinterhalter

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    144
  • Global Rank 158,553 (Top 6 %)
  • Followers 79
  • Following 131
  • Registered about 11 years ago
  • Most used languages
    Coq     85.7 %
    TeX
         14.3 %
  • Location πŸ‡«πŸ‡· France
  • Country Total Rank 4,117
  • Country Ranking
    Coq     7
    TeX
         46

Top repositories

1

formal-type-theory

Formalising Type Theory in a modular way for translations between type theories
Coq
90
star
2

phd-thesis

Phd Thesis of ThΓ©o Winterhalter. Look at releases to get the latest PDF.
TeX
31
star
3

sirtt

Shape-Irrelevant Reflection Type Theory
Coq
6
star
4

coq-partialfun

Dependent composable partial functions for free in Coq
Coq
6
star
5

ett-to-itt

Coq formalisation and plugin of a translation from ETT to ITT
Coq
5
star
6

ett-to-wtt

Coq formalisation of a translation from (an) extensional type theory to (a) weak type theory
Coq
5
star
7

resizing-reflection

Master Thesis with Nicolas Tabareau on Resizing Rules and Reflection
Coq
1
star