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 v1.3.1 (runs under OCaml 3.12) (leo2_v1.3.1.tgz)
- LEO-II v1.3.0 (runs under OCaml 3.12) (leo2_v1.3.0.tgz)
- LEO-II v1.2.9 (runs under OCaml 3.12) (leo2_v1.2.9.tgz)
- LEO-II v1.2.8 (runs under OCaml 3.12) (leo2_v1.2.8.tgz)
- LEO-II v1.2.7 (runs under OCaml 3.12) (leo2_v1.2.7.tgz)
- LEO-II v1.2.6 (runs under OCaml 3.12) (leo2_v1.2.6.tgz)
- LEO-II v1.2.5 (runs under OCaml 3.10) (leo2_v1.2.5.tgz)
- LEO-II v1.2.4 (runs under OCaml 3.10) (leo2_v1.2.4.tgz)
- LEO-II v1.2.3 (runs under OCaml 3.10) (leo2_v1.2.3.tgz)
- LEO-II v1.2.2 (runs under OCaml 3.10) (leo2_v1.2.2.tgz)
- LEO-II v1.2.1 (runs under OCaml 3.10) (leo2_v1.2.1.tgz)
- LEO-II v1.2 (runs under OCaml 3.10) (leo2_v1.2.tgz)
- LEO-II v1.1 (runs under OCaml 3.10) (leo2-v1.1.tgz)
- LEO-II v1.0 (runs under OCaml 3.10) (leo2-v1.0.tgz)
- LEO-II v0.99a (runs under OCaml 3.10) (leo2-v099a.tgz)
- LEO-II v0.99 (runs under OCaml 3.10) (leo2-v099.tgz)
- LEO-II v0.98 (runs under OCaml 3.10) (leo2-v098.tgz)
- LEO-II v0.97 (runs 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
- TPTP library (all problems with a '^' in their name are THF)
- Problem collection 1 (leo2-problems-c1.tgz)