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 Normal View History

Initial import from AFP.
2020-12-19 08:46:46 +00:00
# efsm-isabelle
Implementation of EFSMs in Isabelle/HOL