/FSA_Proof

A simple example tool for verifying finite state automata with a little DSL

Primary LanguageIsabelle

No issues in this repository yet.