TheMC47/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

语言：Scala · GitHub 星标：3 · Fork：0

在 GitHub 上查看原仓库