metalib

The Penn Locally Nameless Metatheory Library

71 stars

17 watching

24 forks

Language: Coq

last commit: 3 months ago

Linked from 1 awesome list

Backlinks from these awesome lists:

coq-community/awesome-coq