Matthew Brecknell
RSS
Home
Archives
About
Contact
Category: coq
2015
Pattern-matching dependent types in Coq
May
21
2015