Skip to content

@SC-TPTP SC-TPTP

Change the repository type filter

All

    Repositories list

    4 repositories

    • sc-tptp

      Public
      This repository contains a set of utilities to handle, import, export and transform proofs in sc-tptp format
      OpenEdge ABL
      •
      Apache License 2.0
      •0•5•0•0•Updated Nov 9, 2025Nov 9, 2025

    • hol-light

      Public
      The HOL Light theorem prover
      OCaml
      •
      Other
      •88•0•0•0•Updated Jul 30, 2025Jul 30, 2025

    • lean-sctptp

      Public
      Experiments in automation for Lean
      Lean
      •
      Apache License 2.0
      •26•1•0•0•Updated May 20, 2025May 20, 2025

    • scala-tptp-parser

      Public
      A parser for the TPTP logic languages for automated theorem proving written in Scala
      Scala
      •
      MIT License
      •6•0•0•0•Updated Mar 4, 2025Mar 4, 2025