Download
Download the latest version of LEO-II. LEO-II is distributed under the BSD license (COPYRIGHT)
LEO-II Sources (installation instructions: INSTALL)
- LEO-II v0.97 (runs now also under OCaml 3.10) (leo2-v097.tgz)
- LEO-II v0.95 (leo2-v095.tgz)
- LEO-II v0.9 (leo2-v09.tgz)
Problem collections in TPTP THF syntax
- Problem collection 1 (leo2-problems-c1.tgz)