search

coq-community / autosubst

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
https://www.ps.uni-saarland.de/autosubst
MIT License
50 stars 14 forks source link

move license text from README.md into LICENSE file #24

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

To allow GitHub to pick up the license of the project for use in search listings, we move the license text to a separate file (this is the standard for coq-community projects).

RalfJung commented 3 years ago

Makes sense, thanks!