The top documents tagged [automationproof planning]

Proof Planning in Logical Frameworks
Documents Proof Planning in Logical Frameworks

26 views