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

Implement Lean 4 <> rst support in Alectryon #8

Closed insightmind closed 2 years ago