Geek Repo
followers
following
stars
Location:Reunion Island
Home Page:http://lim.univ-reunion.fr/staff/fred/index.html
Github PK Tool:Github PK Tool
LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
cTI: a constraint-based Termination Inference tool for Prolog