ABSFOL

swMATH29687MaRDI QIDQ41401FDOQ41401

Author name not available (Why is that?)

Described by source

• ABSFOL: A proof checker with abstraction

Cited In (1)

• Plagiator — A learning prover

This page was built for software: ABSFOL