Intercalation Calculus Prover download

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

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Intercalation Calculus Prover

Intercalation Calculus Prover Web Site

Other Useful Business Software

Endpoint Management with Remote Control Built In

Patch, monitor, and connect to Windows and macOS devices from one console

Splashtop AEM handles patching, alerts, scripts, and inventory, and unattended remote control is included. When something needs hands-on work, you’re one click away instead of switching tools.

Start Free Trial

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)

Related Categories

OCaml (Objective Caml) Mathematics Software

Registered

2008-04-12

Similar Business Software

QBench

QBench is a cloud-based Laboratory Information Management System (LIMS) designed to help laboratories manage samples, workflows, data, inventory, reporting, quality processes, and client interactions in one platform. Labs use QBench to manage laboratory operations from order placement and...

See Software for QBench
Lockbox LIMS

A sample tracking, test result capture, and inventory management cloud LIMS for life science research, biotech/NGS, and industrial QC labs. Includes regulatory support for CLIA, HIPAA, Part 11, and ISO 17025. Nothing is more critical to a lab’s success than the quality, security, and...

See Software for Lockbox LIMS
Qualio

Qualio is the leading quality and compliance platform built exclusively for emerging life sciences companies. MedTech, pharma, biotech, and diagnostics teams use Qualio to standardize quality processes, connect them to regulatory obligations, and gain real-time visibility into compliance...

See Software for Qualio
Labguru

Labguru is a secure, cloud-based Electronic Lab Notebook (ELN), LIMS and informatics platform which offers a complete solution for life science research and industry. It records and manages laboratory data and inventory, includes molecular biology tools and chemistry tools, enables automation of...

See Software for Labguru
Calira

Calira is an equipment booking and management platform for shared R&D lab equipment. It replaces the shared spreadsheets, Outlook calendars, paper signup sheets, and other improvised systems that most labs use to manage access to shared instruments. Labs use Calira to track instrument...

See Software for Calira
QT9 QMS

Struggling with complex compliance requirements or disconnected quality systems? QT9 QMS eliminates these challenges with one integrated, fully validated platform that scales with your business. Designed for life sciences, aerospace, and manufacturing, QT9 offers cloud or secure on-premise...

See Software for QT9 QMS

Report inappropriate content