aleanTAP

swMATH9987MaRDI QIDQ21964FDOQ21964

Author name not available (Why is that?)

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
• Nominal syntax with atom substitutions
• CloneDigger
• SCC
• ACUOS2

This page was built for software: aleanTAP