proof-logic Files

Proof Logic : A logical framework for theorem proving

Status: Beta

Brought to you by: jacbailhache

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
pl-v8.tgz	2021-03-01	92.1 kB
fpl.tgz	2021-02-23	79.2 kB
pl-new.tgz	2021-02-19	75.1 kB
pl1.tgz	2021-02-05	43.0 kB
Totals: 4 Items		289.3 kB

Other Useful Business Software

Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.

Start Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

LPIA
Programming language for artificial intelligence
Logic Calculator
A Calculator to perform logical operations
Intercalation Calculus Prover
An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.
HOL theorem-proving system
HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.
colobo
COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.