namespace SovereignCorpus.Tactics

def verify (_statement : String) : IO Unit := do
  pure ()

end SovereignCorpus.Tactics
