Lambdapi: An Interactive Proof Assistant for Modern Proof Development
Lambdapi is an advanced interactive proof assistant that leverages λΠ-calculus modulo rewriting, making it a powerful tool for developers and researchers.
Editorial Staff about 12 hours ago
