GitHub repository: Deducteam/SKonverto
Primary language: OCaml
Created: 2019-11-14T10:53:19Z
Description: A tool to transform proofs containing Skolem symbol in first order logic.