Labels

• documentation

  Improvements or additions to documentation
• editor plugins

  Related to editor plug-ins (e.g., VS Code extension)
• engine

  Related to the ProofFrog transformation engine
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• question

  Further information is requested
• soundness

  The engine makes transforms or accepts proofs that are mathematically unsound
• web editor

  Related to the ProofFrog web editor