Disconnect dependence on Lean 3
Opened this issue · 0 comments
mpenciak commented
As per the discussion on Zulip I've opened an issue to bring attention to this issue.
A tentative implementation of leanblueprint not using anything specific to Lean 3 is given here: https://github.com/mpenciak/noleanblueprint.