Lambdapi is an interactive proof assistant based on the λΠ-calculus modulo rewriting. The post Lambdapi – interactive proof assistant appeared first on LinuxLinks.