General patch - Githubissues

vafeiadis / hahn

Hahn: A Coq library

MIT License

29 stars 15 forks source link

General patch #3

Closed omelkonian closed 7 years ago

omelkonian commented 7 years ago

Unicode formatting
Addition of helper lemmas (regarding domains, pow_rel, paths)
Rewrite extensions