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