search

vafeiadis / hahn

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

Updating Hahn to coq 8.15.0 #27

Closed mdokomath closed 2 years ago

mdokomath commented 2 years ago

Hi Viktor,

I've made a quick pass to update Hahn to the newest Coq release. Nothing major, just a couple of tiny changes.