leancheck-0.9.3: TODO.md

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

List of things to do for LeanCheck.

Nothing planned at the moment.