Prover

class hets.Prover(hs_prover: hs.HetsAPI.Python.PyProver)[source]
name() → str[source]