search

vafeiadis / hahn

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

Made compatible with Coq 8.18.0 #32

Closed anlun closed 5 months ago

anlun commented 1 year ago

Fixed compilation w/ Coq 8.18.0.