https://github.com/coq-community/lemma-overloading

https://github.com/coq-community/lemma-overloading

Last synced: 6 months ago
JSON representation