diff options
| author | stuebinm | 2024-06-14 21:48:54 +0200 |
|---|---|---|
| committer | stuebinm | 2024-06-14 21:48:54 +0200 |
| commit | fa5d12b784f0bf09e473e79eecd6527e956d334d (patch) | |
| tree | 4f96a50c3162ebfcf2c4b098898382a0f9126e23 /pkgs/nomsing/index.html | |
| parent | daeee8711bfdb4eb635307a184d4c0c7eee61756 (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 'pkgs/nomsing/index.html')
0 files changed, 0 insertions, 0 deletions