math/lean4-std: New port: Lean4: Std library
Description
Description
Details
Details
- Provenance
yuri Authored on Jan 16 2024, 10:43 AM - Parents
- R11:5b496eb1e557: math/lean4: Remove std library: it will be in its own port
- Branches
- Unknown
- Tags
math/lean4-std: New port: Lean4: Std library Tags None Referenced Files None Subscribers None |