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

Documentation Strategy Formulas #141

Closed Vervada closed 9 months ago

Vervada commented 9 months ago

reminder: I just want to give two first quick ideas before there's a lot of text:

  1. Usually, it will make more sense to refer to the Lemmas by their Isabelle names. (The numbering from the draft paper will likely change in the final publication. Different LaTeX styles have different ways of assigning numbers.)
  2. Maybe add some kind of consistent formatting or paragraph marker for “deviations from the paper,” so they are presented uniformly across the Isabelle PDF document.

_Originally posted by @benkeks in https://github.com/equivio/silent-step-spectroscopy/pull/121#discussion_r1471356134_