search

jwiegley / category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work
BSD 3-Clause "New" or "Revised" License
757 stars 70 forks source link

Update README.md #146

Closed motrellin closed 2 months ago

motrellin commented 4 months ago

The licensing information seemed to be confusing, as the README referres to a MIT license, although the linked LICENSE-File contains a BSD-3-Clause-License. This PR proposes to update the README.md

Furthermore, I added a link to the LICENSE-file.