Popular repositories Loading

1. LPTP LPTP Public

   LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's

   Prolog 17 4

2. cTI cTI Public

   cTI: a constraint-based Termination Inference tool for Prolog

   Prolog 2

3. LPTP-worksheets LPTP-worksheets Public

   A set of worksheets to gradually learn LPTP, a Logic Program Theorem Prover

   TeX 2

4. LPTP-LLM-sqrt2 LPTP-LLM-sqrt2 Public

   Data for a first experiment in LLM-enhanced LPTP development

   TeX

5. LPTP-LLM-P99 LPTP-LLM-P99 Public

   Data for a second experiment in LLM-enhanced LPTP development

   HTML