summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorstuebinm2024-06-14 21:48:54 +0200
committerstuebinm2024-06-14 21:48:54 +0200
commitfa5d12b784f0bf09e473e79eecd6527e956d334d (patch)
tree4f96a50c3162ebfcf2c4b098898382a0f9126e23 /tests
parentdaeee8711bfdb4eb635307a184d4c0c7eee61756 (diff)
home: remove lean
having tried multiple times, it's not actually very possible or reasonable to attempt to keep lean's version in sync with whatever mathlib requires at any given time, and probably better to have it just be managed by elan, no matter how annoying that may be.
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions