2 results found Sort:

Normalization by evaluation for Martin-Löf Type Theory with dependent records
Created 2018-11-20
421 commits to master branch, last one 2 years ago
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Created 2015-06-03
211 commits to master branch, last one 2 months ago