search

vafeiadis / hahn

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

HahnAdjacent introduced #9

Closed anlun closed 5 years ago