input-output-hk / input-output-hk/Lean-blaster
Recent version of Lean?
Open
- Dominant language
- Lean
- Stars
- 57
- Forks
- 11
- Avg merge
- 1d 5h
- Merged PRs (30d)
- 10
Description
Do you have plans to support a recent version of Lean?
The FRO provides some scripts to facilitate upgrading.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reviewing the FRO scripts mentioned in the issue and identifying the repository's currently supported Lean version. Determine what is required to support a recent Lean release; the work is done when that version is supported and the existing project checks pass.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100