Post #2590502
2026-05-14 14:29 UTC
It would be nice if proof assistants supported custom LSP semantic highlighting annotations on definitions/postulates. It would really level up embedded DSLs.
Replies (0)
No replies.
2026-05-14 14:29 UTC
No replies.