Open source alternatives to lean4-contribute
No open source apps like lean4-contribute yet.
About lean4-contribute
L
lean4-contribute
Draft and submit bug reports, feature requests, and insights as GitHub issues
Draft and submit bug reports, feature requests, and insights as GitHub issues. Commands may share Lean code snippets with GitHub — review every draft
- Price
- Free
- Made by
- cameronfreer
- Category
- AI Skills
- Website
- github.com/cameronfreer/lean4-skills/lean4-contribute