onecore/ch.procivis.one.core/OneCore/listProofs

listProofs

open suspend override fun listProofs(query: ProofListQuery): ProofList