aleanTAP
From MaRDI portal
Software:21964
No author found.
Related Items (2)
Nominal syntax with atom substitutions ⋮ α lean TA P: A Declarative Theorem Prover for First-Order Classical Logic
This page was built for software: aleanTAP
