UNIVERSITY OF BELGRADE
DEPARTMENT FOR COMPUTER SCIENCE

ARGO

Automated reasoning group

ArgoGeoChecker

Download | Examples | Integrated theorem provers | Contact

Some corpora

Examples of several semi-formal theorem proofs in Hilbert's axiomatic system, and in the axiomatic system E

Download ArgoGeoChecker

Source code: ArgoGeoChecker
Please read README.txt file with all the neccessary instructions and explanations on how to use ArgoGeoChecker and its subdirectories.

The program is constantly improved, updates will be made available in the future.

Integrated theorem provers

All tools that are used within ArgoGeoChecker are publicly available. The program has integrated resolution theorem provers Vampire and E, and a coherent logic theorem prover ArgoCLP

Contact

ArgoGeoChecker is developed by Sana Stojanovic Djurdjevic

For more information, please send an email to: sana _at_ matf.bg.ac.rs