leanprover/LeanInk

Readme
Issues
Stargazers
Watchers

Implement Lean 4 <> rst support in Alectryon

Closed this issue 3 years ago · 0 comments

insightmind commented 3 years ago

Implement Lean 4 <> rst support in Alectryon

Topics

lean4 alectryon visualization lean interactive-theorem-proving

Share to

Contact site admin: Geeks.