linTAP

MaRDI QIDQ23925swMATHFDO

Official website http://www.leancop.de/lintap/

Cited in

(12)

• Sympli
• ILLTP
• IeanCOP: lean connection-based theorem proving
• llprover
• ModLeanTAP
• A Logical Characterization of Forward and Backward Chaining in the Inverse Method
• METEOR
• scientific article; zbMATH DE number 1341478 (Why is no real title available?)
• A tableau method for the Lambek calculus based on a matrix characterization
• The ILLTP library for intuitionistic linear logic
• Automated Deduction – CADE-20
• A logical characterization of forward and backward chaining in the inverse method

This page was built for software: linTAP