An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.

Project Activity

See All Activity >

Categories

Mathematics

Follow Intercalation Calculus Prover

Intercalation Calculus Prover Web Site

Other Useful Business Software

Communicate & Connect with Ring Central's VoIP Solution Communicate & Connect with Ring Central's VoIP Solution Icon
Communicate & Connect with Ring Central's VoIP Solution Icon

Cloud Powered Business Phone System

  • Unrivaled value & reliability in one solution
  • Unlimited Calls/SMS/Conferencing/Fax
  • Trusted by 350,000+ Businesses

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of Intercalation Calculus Prover!

Additional Project Details

Languages

English

Programming Language

OCaml (Objective Caml)

Registered

2008-04-11