search

coq-community / coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
https://coq-community.org/coq-art/
MIT License
110 stars 22 forks source link

change license in metadata as per LICENSE file #12

Closed palmskog closed 4 years ago

palmskog commented 4 years ago

@Casteran this update concludes the switch to the MIT license for the coq-art repo.