jonaprieto/lean-grip-tptp
Total Grip-backed TPTP/TSTP parsers for Lean 4
Topic: tstp
2 repositories
jonaprieto/oatp
Lean 4 ATP orchestration, TPTP artifacts, and rich terminal diagnostics
2 repositories
Total Grip-backed TPTP/TSTP parsers for Lean 4
Lean 4 ATP orchestration, TPTP artifacts, and rich terminal diagnostics