Documentation Weak Traces - Githubissues

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

Documentation Weak Traces #117

Closed Vervada closed 9 months ago

Vervada commented 10 months ago

[ ] write documentation for definitions in Weak Traces
[ ] write documenation for lemmas in Weak Traces