Labels

• blocked
• bug

  Something isn't working
• lint-collection: bootstrapping
• lint-collection: interactive

  Lints that should be used when not in an interactive setting
• lint-collection: no-apply
• lint-collection: style
• lint-level: fatal
• lint-level: suggestion
• lint-level: warning
• lint-severity: high
• lint-severity: low
• lint-severity: medium
• priority: high
• priority: low
• priority: medium
• Source: Gerwin's Style Guide 1

  http://proofcraft.org/blog/isabelle-style.html
• Source: Gerwin's Style Guide 2

  http://proofcraft.org/blog/isabelle-style-part2.html
• Source: seL4 thylint

  https://github.com/seL4/ci-actions/tree/master/thylint
• topic: cli

  Command Line Interface
• topic: document abstrction

  How the different document elements are represented (proofs, lemmas...)
• topic: jEdit
• topic: lint
• topic: pipeline
• topic:lint abstraction

  The abstractions used to define lints