README.md: provide link for References

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

Closed andreas-roehler closed 6 years ago

andreas-roehler commented 6 years ago

If suitable, provide a link pointing to URL of sources mentioned in References.

lex-lex commented 6 years ago

Good idea, I've added the remaining ones in 205f7d3d5e7d77977b42b0e82cd8cd9c7af8b5cd.

Best, Alex