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

63 proof of theorem 1 characterization #67

Closed TheHllm closed 10 months ago

benkeks commented 10 months ago

@TheHllm Could you add a note on why the issue has been closed? (I think, I see the context. The note mostly has the purpose that others can still understand what has become of an issue later on.)