Look it up.  One way to proceed is by starting with 2 formal corrections by cardinals - one private, one public - and then the invocation of a perfect council (w/ papal approval) or an imperfect council (w/out papal approval) which then decides if the pope committed a public heresy.  If so, there is a choice between the Jesuit option and the Benedictine option as to how to warn the faithful to beware of the heretic and the heresy.

Because of the many heresies being promoted by this pope and his minions, I think the best way may be the posthumous process by which the next Pope basically turns Francis into the papacy that never was for a variety of reasons including but not limited to any combination of the possible coercion of Benedict's resignation, the lobbying of the St. Gallen mafia in the election of Francis, top 10 heresies, pertinacity, etc.

Benedict also expanded the papal ministry to include an active and contemplative member.  I think he opened the door to the unknown.