Hets - the Heterogeneous Tool Set

Copyright(c) Eugen Kuksa University of Magdeburg 2017
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerEugen Kuksa <kuksa@iks.cs.ovgu.de>
Stabilityprovisional
Portabilitynon-portable (imports Logic)
Safe HaskellSafe

TPTP.Prover.EProver.ProofParser

Description

 

Documentation

parseTimeUsed :: [String] -> Int Source #