search

vafeiadis / hahn

Hahn: A Coq library
MIT License
29 stars 15 forks source link

Made Hahn compatible w/ Coq 8.17.0 #31

Closed anlun closed 1 year ago

anlun commented 1 year ago

I also started fixing warnings (https://github.com/anlun/hahn/commit/45092adaae5f4b85944196ddf43b019f0d8f222f), but decided to leave it for separate PR once this one is merged.