search

bedrocksystems / coq-lens

Lenses in Coq
Other
17 stars 6 forks source link

ported to Coq 8.12 (metacoq syntax changed) #13

Closed aa755 closed 3 years ago

gmalecha commented 3 years ago

Thanks.