search

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

Splitt README.md #43

Closed andreas-roehler closed 6 years ago

andreas-roehler commented 6 years ago

Links remain TBD maybe, must look into MD how to write them.

lex-lex commented 6 years ago

The links in 2b17c9555b0ea9a2084057e7e9b97d68c0bfdafa are not interpreted correctly as they contain an extra whitespace.

andreas-roehler commented 6 years ago

Okay, thanks. Works now.

andreas-roehler commented 6 years ago

Lets have a new PR with a clean history.