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

Wrong Typename exported #13

Closed insightmind closed 2 years ago

insightmind commented 2 years ago

Description

Expected behaviour

Reproducing the issue

Environment information

Suggested fix

Additional Notes