Run CI against Lean4 Codebases - Githubissues

Julian / tree-sitter-lean

Experimental tree-sitter parser for the Lean (4) Theorem Prover

MIT License

28 stars 5 forks source link

Run CI against Lean4 Codebases #1

Open Julian opened 3 years ago

Julian commented 3 years ago

[ ] advent-of-lean-4
[ ] the lean4 topic
[ ] Lean4 itself
[ ] mm-lean4
[ ] mathlib4
[ ] mathport