formally-verified topic
List
formally-verified
repositories
fsm-oracle
58
Stars
7
Forks
Watchers
Finite state machines as graphs
statebox
category-theory
formally-verified
state-machines