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

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

Last synced: about 2 months ago
JSON representation