leanprover/LeanInk

Lean 4 syntax highlighting in Alectryon

Closed this issue · 0 comments

insightmind commented

Description

TODO:

Detailed behaviour

Testscenarios

References