Insights
Repository Pulse
Activity Overview
Active pull requests7
Active issues12
Merged pull requests23
Closed issues18
Contribution Activity
Chart loads on client side
Experimental tree-sitter parser for the Lean (4) Theorem Prover
Chart loads on client side