TheMC47/bachelor-thesis-isabelle-linter TheMC47/bachelor-thesis-isabelle-linter

  • This repository has been archived on 05/Nov/2021
  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Scala
  • License
    MIT License
  • Created over 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TheMC47/bachelor-thesis-isabelle-linter
github

TheMC47

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

dotfiles

Emacs Lisp
3
star