meta: standard licence identifier

coq-community / coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

https://coq-community.org/coq-ext-lib/

BSD 2-Clause "Simplified" License

129 stars 46 forks source link

Closed liyishuai closed 3 years ago

liyishuai commented 3 years ago

~Depends on~ Closes coq/opam-coq-archive#1551