autosubst2

Official repository of the Autosubst 2 project.

15 stars

6 watching

5 forks

Language: Haskell

last commit: over 1 year ago

Linked from 1 awesome list

coqformalizationmetatheory-language

Backlinks from these awesome lists:

coq-community/awesome-coq