FT(ID:3671/ft:001)

FT: Theorem Prover for Intuitionistic Predicate Logic

Runs under Quintus or SICSTUS Prolog
Related languages
SICStus Prolog => FT   Based on
References:
  • Sahlin, Franzen, and Haridi, "An Intuitionistic Predicate Logic Theorem Prover", SICS report. Journal of Logic and Computation 1989 view details
    Resources