Pinned Repositories
coding-dojo-api
error-messages
latex-thesis-template
Template for bachelor and master theses.
pi-forall
A demo implementation of a simple dependently-typed language
programmiersprachen1
Material for lecture Programming Languages 1
type-theory
Course notes for Type Theory and Coq course at Radboud University Nijmegen
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
duo-lang
Duo - A research language exploring duality in programming language design
error-messages
pi-forall
A demo implementation of a simple dependently-typed language
davidlaewen's Repositories
davidlaewen/programmiersprachen1
Material for lecture Programming Languages 1
davidlaewen/type-theory
Course notes for Type Theory and Coq course at Radboud University Nijmegen
davidlaewen/coding-dojo-api
davidlaewen/error-messages
davidlaewen/latex-thesis-template
Template for bachelor and master theses.
davidlaewen/pi-forall
A demo implementation of a simple dependently-typed language
davidlaewen/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.