sequence_induction

Popper encoding for the sequence_induction problem.
Back to my Popper page.