less_than

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