afp-mirror
/
Extended_Finite_State_Machines
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Extended_Finite_State_Machines/Extended_Finite_State_Machines/README.md

56 B
Raw Permalink Blame History

efsm-isabelle

Implementation of EFSMs in Isabelle/HOL