TO DO list for LeanCheck
========================

List of things to do for LeanCheck.

Nothing planned at the moment.