diff options
| author | Andreas Grois <andi@grois.info> | 2024-11-29 23:08:15 +0100 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-11-29 23:08:15 +0100 |
| commit | 611c369de1874950682501d4454cce3e73c4d6cd (patch) | |
| tree | 0867e9fe7c67437bd86e9a9fa89f77e341192819 /Common | |
| parent | 368c506bc365162cd22f4001ab729ee3df110b79 (diff) | |
Change all imports from Lean to Std to reduce binary size.
Reduces binary size by more than a factor of 10...
https://github.com/leanprover/lean4/issues/5274
Diffstat (limited to 'Common')
0 files changed, 0 insertions, 0 deletions