Would a StackExchange employee be able to give an opinion on what level of maturity is required for proofassistants.meta.stackexchange.com/questions/177 to be considered? Pinging @V2Blast since they appear in the editor history of that question
This follows on from Syntax highlighting for proof assistants, which establishes that it would be nice to have syntax highlighting, but incorrectly concludes that the ball is not in StackExchange's court.
As mentioned in an answer there, the tool StackExchange uses for highlighting, highlight.js,...
Proof Assistants
Proof Assistants