/bachelor-thesis-isabelle-linter

A Linter for Isabelle. Developed for my bachelor's thesis at the Chair For Logic and Verification at the Technical University of Munich

Primary LanguageScalaMIT LicenseMIT

Stargazers