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

Formalize energy levels and updates #19

Closed TheHllm closed 11 months ago

TheHllm commented 1 year ago
benkeks commented 1 year ago

I assume this to be a “fresh” issue for the upcoming iteration. I would thus assume that I can amend it for the new backlog...?

TheHllm commented 1 year ago

Yes