Why isn't there a good task tracking tool?

Proving type safety in a gradual typing system with Adelfa