david-a-wheeler / mmverify.py

Metamath verifier in Python
MIT License
35 stars 10 forks source link

Clarify license statements #13

Closed david-a-wheeler closed 2 years ago

david-a-wheeler commented 2 years ago

Clarify the license statements. We don't need everyone listed in the license statements (we have a version control system for that). For recommendations, see: https://www.linuxfoundation.org/blog/copyright-notices-in-open-source-software-projects/

This includes the SPDX-License-Identifier information. For more info see: https://github.com/david-a-wheeler/spdx-tutorial

Signed-off-by: David A. Wheeler dwheeler@dwheeler.com