#proof assistant

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.