math/lean4: Remove std library: it will be in its own port
Description
Description
Details
Details
- Provenance
yuri Authored on Jan 16 2024, 10:30 AM - Parents
- R11:d78496a375fe: math/leangz: New port: Lean 4 .olean file (de)compressor
- Branches
- Unknown
- Tags