Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms.

Project Activity

See All Activity >

Categories

Interpreters, Artificial Intelligence, Mathematics

License

GNU General Public License version 3.0 (GPLv3)

Follow proof-logic

proof-logic Web Site

Other Useful Business Software
Powering the best of the internet | Fastly Icon
Powering the best of the internet | Fastly

Fastly's edge cloud platform delivers faster, safer, and more scalable sites and apps to customers.

Ensure your websites, applications and services can effortlessly handle the demands of your users with Fastly. Fastly’s portfolio is designed to be highly performant, personalized and secure while seamlessly scaling to support your growth.
Try for free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of proof-logic!

Additional Project Details

Operating Systems

Linux

Languages

French, English

Intended Audience

Science/Research, Advanced End Users, Developers

User Interface

Console/Terminal, Command-line

Programming Language

C, Haskell

Related Categories

C Interpreters, C Artificial Intelligence Software, C Mathematics Software, Haskell Interpreters, Haskell Artificial Intelligence Software, Haskell Mathematics Software

Registered

2021-02-05
Report inappropriate content