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

122 Structure of the Documentation (report) #123

Closed Vervada closed 9 months ago

TheHllm commented 9 months ago

Is this draft still relevant?

Vervada commented 9 months ago

Is this draft still relevant?

The idea was actually to push changes to the structure in the corresponding branch.