search

leanprover / LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Apache License 2.0
60 stars 16 forks source link

Lean 4 syntax highlighting in Alectryon #10

Closed insightmind closed 2 years ago

insightmind commented 2 years ago

Description

TODO:

Detailed behaviour

Testscenarios

References