search

equivio / silent-step-spectroscopy

Isabelle formalization of linear-time–branching-time spectroscopy accounting for silent steps
https://equivio.github.io/silent-step-spectroscopy/AFP/LinearTimeBranchingTimeSpectroscopyAccountingForSilentSteps/index.html
Other
0 stars 0 forks source link

87 add spectroscopy move to account for empty stable conjunction #98

Closed ekeln closed 10 months ago

ekeln commented 10 months ago

@benkeks is this what you had in mind?