aleanTAP

MaRDI QIDQ21964swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-540-89982-2_26

Cited in

(5)

• α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic
• CloneDigger
• SCC
• ACUOS2
• Nominal syntax with atom substitutions

This page was built for software: aleanTAP