aleanTAP

swMATH9987MaRDI QIDQ21964FDOQ21964

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: aleanTAP