Inductive proof automation

Although it’s not the same kind of automation as in the rippling plugin, the patterns for “custom induction principles” in the Verdi Raft paper might be relevant.