ATPPCF ATPPCF (Automatic Theorem Prover in calculus of Positively Constructed Formulae) is a project to design a new implementation of a new ATP&S (Automatic Theorem Prover and Synthesizer) system.

Current Version:   0.0.2 License Type:   GPL

Home Site: http://linux.irk.ru/projects/ATPPCF/ Source Code Availability:   Yes Available Binary Packages: Debian Package:   No RedHat RPM Package:   No Other Packages:   No Targeted Platforms: Linux and others Software/Hardware Requirements: None

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Other Scientific Fields   |   Artificial Intelligence