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

Import HML files and Energy into SilentStepSpectroscopy.thy #38

Closed TheHllm closed 12 months ago

benkeks commented 1 year ago

Seems like a duplicate to https://github.com/equivio/silent-step-spectroscopy/issues/25

TheHllm commented 1 year ago

It somewhat is, but this issue is only concerned with importing the files, s.t. we can test if all the theories are buildable.