All Questions
Tagged with discussion syntax-highlighting
1
question
12
votes
2
answers
230
views
Syntax highlighting for proof assistants
In my answer to the question about the "Hello World" of proof assistants, the code is very monochromatic:
...