Searched defs:parse_status_eprover (Results 1 - 1 of 1) sorted by relevance

/ontohub/lib/hets/prove/
H A Dszs_parser.rb38 def parse_status_eprover method in class:Hets.Prove.SZSParser

Completed in 10 milliseconds