swMATH11991MaRDI QIDQ23925FDOQ23925
Author name not available (Why is that?)
Official website: http://www.leancop.de/lintap/
Cited In (12)
- A logical characterization of forward and backward chaining in the inverse method
- A tableau method for the Lambek calculus based on a matrix characterization
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method
- IeanCOP: lean connection-based theorem proving
- llprover
- ModLeanTAP
- METEOR
- Title not available (Why is that?)
- Automated Deduction – CADE-20
- ILLTP
- Sympli
- The ILLTP library for intuitionistic linear logic
This page was built for software: linTAP
