leanprover / doc-gen4

Document Generator for Lean 4
Apache License 2.0
62 stars 41 forks source link

chore: remove LeanInk #198

Closed hargoniX closed 2 months ago

hargoniX commented 2 months ago

This feature has been essentially dead code for a long while, let's put it to rest.