License - link and subtitle from README

leoprover / Leo-III

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

BSD 3-Clause "New" or "Revised" License

42 stars 10 forks source link

License - link and subtitle from README #47

Closed andreas-roehler closed 6 years ago

andreas-roehler commented 6 years ago

Checking the compatibility of the Licence is assumed to be one of the first tasks. Let's make that little bit easier, provide link and subtitle from README.

lex-lex commented 6 years ago

Seems reasonable, thanks!