switch to MIT license - Githubissues

coq-community / math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

https://math-classes.github.io

MIT License

162 stars 43 forks source link

Closed palmskog closed 4 years ago

palmskog commented 4 years ago

Minimal changes to switch license. This is (in my view) a prerequisite for joining the Coq Platform. Fixes #87.