Implements check your proof (cyp) syntax highlighting and indentation for CodeMirror, especially for TUM's chair for logic and verification's online cyp proof checker, available for participants of the functional programming and verification (Funktionale Programmierung und Verifikation, FPV) module
Try the demo.
Add a <link> to assets/cyp.js and initialize CodeMirror like you did before with a config object containing mode: 'cyprf'. You don't need any other files than assets/cyp.js.
Refer to changes.md to see everything that i added and copy the respective chunks of code to the files they belong to
| part | comment |
|---|---|
| CodeMirror | MIT |
| my own stuff, described in changes.md | MIT |
| proof checker website by chair for logic and verification | all rights reserved, i guess don't use it in any own projects if nobody allowed you to use it |