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

3 lines
56 B
Markdown
Raw Permalink Blame History

# efsm-isabelle
Implementation of EFSMs in Isabelle/HOL
Reference in New Issue View Git Blame Copy Permalink