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

chore: adapt to impl-detail hyps #36

Closed gebner closed 2 years ago

gebner commented 2 years ago

See https://github.com/leanprover/lean4/pull/1692

gebner commented 2 years ago

Included in #37