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

Reduction #47

Closed 0art0 closed 1 year ago

0art0 commented 1 year ago

A barebones version of the core LeanInk code.

Description

Notable Changes

Additional Notes