ABSFOL

MaRDI QIDQ41401swMATHFDO

Official website https://link.springer.com/chapter/10.1007/3-540-61511-3_74

Described by source

• ABSFOL: A proof checker with abstraction

Cited in

(3)

• PLAGIATOR
• GETFOL
• Plagiator — A learning prover

This page was built for software: ABSFOL