Rippling

Pairings in the atlas

Annotation-guided rewriting toward the goalspecialistInductive theorem proving automated-reasoning

Rivals: other methods for the same problems

Boyer-Moore induction

Where it sits

automated-reasoning · Search, Constraints & Games