proof-lib/lean Turn the prelude into a proper Lean package
Open
lean
proof-lib
- Dominant language
- Rust
- Stars
- 480
- Forks
- 70
- Avg merge
- 2d 5h
- Merged PRs (30d)
- 59
Description
Currently, the Lean prelude lives inside the `proof-lib/lean` folder. To make it easier for users, it should be turned into a proper lean package
Contributor guide
Assessment
This issue has not been assessed yet.