Toggle navigation
Jan de Muijnck-Hughes
Blog
Posts
Tags
Research
About
Studying with Me
Working with Me
Activities
Talks
Service
CS886 -- ASbD
Teaching
People
Current
Alumni
Publications
Theses
Papers
Workbench
Type Theory as a Workbench
Posted on 2023-02-01
idris
eelco
type-theory
workbench
reproducible