ATP

An interactive modular automated theorem prover
Download

ATP Ranking & Summary

Advertisement

  • Rating:
  • License:
  • GPL
  • Publisher Name:
  • ATP Team
  • Publisher web site:
  • http://code.google.com/u/113190107447576027220/
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 8.8 MB

ATP Tags


ATP Description

ATP (Automated Theorem Prover) is a free and open-source modular theorem prover designed to enable you to have more control on the computation process.ATP allows you to switch between automatic and manual sessions easily. The modularity of the prover makes it possible to extend it both on the control level and on the algorithmic leve. ATP is cross-platform and it works on Mac OS X, Windows and Linux.


ATP Related Software

About SoftwareSea