Formal Methods Tools

Lambdapi

Proof Assistant

At a Glance

Applications Theorem Prover
Interfaces CLI
Maintenance Actively Maintained

Description

Proof assistant based on the λΠ-calculus modulo rewriting

Help improve this page!
Submit an issue or pull request.
Updated