David Läwen's repositories
programmiersprachen1
Material for lecture Programming Languages 1
type-theory
Course notes for Type Theory and Coq course at Radboud University Nijmegen
Language:Haskell000
latex-thesis-template
Template for bachelor and master theses.
Language:TeX000
pi-forall
A demo implementation of a simple dependently-typed language
Language:HaskellBSD-3-Clause000
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:CoqNOASSERTION000