Popular repositories Loading

1. sc-tptp sc-tptp Public

   This repository contains a set of utilities to handle, import, export and transform proofs in sc-tptp format

   OpenEdge ABL 5

2. lean-sctptp lean-sctptp Public

   Forked from leanprover-community/lean-auto

   Experiments in automation for Lean

   Lean 1

3. scala-tptp-parser scala-tptp-parser Public

   Forked from leoprover/scala-tptp-parser

   A parser for the TPTP logic languages for automated theorem proving written in Scala

   Scala

4. hol-light hol-light Public

   Forked from jrh13/hol-light

   The HOL Light theorem prover

   OCaml