·
30 commits
to main
since this release
Computability in Constructive Type Theory
This is the Coq mechanisation of part I of "Computability in Constructive Type Theory", the PhD thesis of Yannick Forster.