FredMesnard

Reunion Island

Pinned Repositories

cTI
cTI: a constraint-based Termination Inference tool for Prolog
Language:Prolog1 1 00
lptp
LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
Language:Prolog7 2 13

FredMesnard's Repositories

FredMesnard/lptp
LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
Language:Prolog7 2 13
FredMesnard/cTI
cTI: a constraint-based Termination Inference tool for Prolog
Language:Prolog1 1 00