search

vafeiadis / hahn

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

Some lemmas #24

Open pjmkrpg opened 4 years ago