XIsabelle
From MaRDI portal
Software:42071
No author found.
Related Items (2)
Proof tactics for a theory of state machines in a graphical environment ⋮ Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
This page was built for software: XIsabelle
