Julian / Julian/tree-sitter-lean
Run CI against Lean4 Codebases
Open
- Dominant language
- JavaScript
- Stars
- 58
- Forks
- 25
- Avg merge
- 48m
- Merged PRs (30d)
- 1
Description
* [ ] [advent-of-lean-4](https://github.com/rwbarton/advent-of-lean-4)
* [ ] [the lean4 topic](https://github.com/topics/lean4)
* [ ] [Lean4 itself](https://github.com/leanprover/lean4)
* [ ] [mm-lean4](https://github.com/digama0/mm-lean4)
* [ ] [mathlib4](https://github.com/leanprover-community/mathlib4)
* [ ] mathport
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.