-
Notifications
You must be signed in to change notification settings - Fork 0
Fork of LEO-II - A higher order theorem prover
slomo/leo2
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
THE LEO-II System Distribution LEO-II is an interactive and automated higher-order theorem prover for classical higher-order logic (simple type theory). LEO-II System Requirements: LEO-II runs on a regular Unix platform. The following additional software is required: - OCaml version 4 or above - GNU bash, version 2.x or above - A First Order Theorem Prover: Currently we recommend: 'The E Equational Theorem Prover' which is available at http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html - GCC (to compile MiniSat backend) LEO-II Installation and Usage: see the file INSTALL LEO-II Further Information: www.leoprover.org mail: Christoph Benzmueller, c.benzmueller (at) googlemail.com
About
Fork of LEO-II - A higher order theorem prover
Resources
Stars
Watchers
Forks
Packages 0
No packages published