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

fix typo in AppInfo description #38

Open hrmacbeth opened 2 years ago

hrmacbeth commented 2 years ago

This doesn't build, but as far as I can tell it's unrelated to the typo fix I made.