1 result found Sort:

16
186
gpl-3.0
12
Contextual types meet mechanized metatheory!
Created 2015-05-14
5,070 commits to master branch, last one 6 months ago