Topic: custom lean in elan
Reid Barton (Jan 11 2019 at 12:54):
Is there some low-tech way to just copy files in
~/.elan around if I want to try running Lean with a modified core library?
cd ~/.elan; cp -a lean-3.4.1 lean-3.4.1a? Probably I need to do something else, as well?
Gabriel Ebner (Jan 11 2019 at 13:00):
This should work. You can also add symlinks to a lean git checkout.
Reid Barton (Jan 11 2019 at 14:20):
It did just work.
Last updated: May 16 2021 at 05:21 UTC