Timeline for Syntax highlighting for proof assistants
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 9, 2022 at 18:22 | history | edited | Tyberius | CC BY-SA 4.0 |
added 145 characters in body
|
| Feb 9, 2022 at 10:42 | comment | added | Eric |
Unfortunately highlight.js does not support Lean out of the box; a third-party package, github.com/leanprover-community/highlightjs-lean, is needed to support Lean. highlight.js has declared they are no longer willing to support new languages.
|
|
| Feb 8, 2022 at 20:59 | history | edited | Tyberius | CC BY-SA 4.0 |
mistook Ada for Agda
|
| Feb 8, 2022 at 19:38 | history | answered | Tyberius | CC BY-SA 4.0 |