All Git Users → TheoWinterhalter

1 open source projects by TheoWinterhalter

[ Open user page on Github ]

1. Formal Type Theory

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

✭ 74

reflection coq type-theory

1-1 of 1 user projects