Interactive proof assistant - Afgåede censorer