Klint - a lint-like tool for K-framework

by Felipe Tanus for Formal Systems Laboratory at UIUC

This project aims to create a stand-alone lint-like tool for K-framework that might be integrated on K compiler frontend.