Repository profile
intgrah / metalean
Verified Lean typechecker
LeanView on GitHub
Repository overview
Public GitHub metrics and OpenPulse observationsGitHub stars17
Public forks0
Growth · 24h+0 stars
Growth · 7dBuilding history
Growth · 30dBuilding history
Star activity
Last 7 days16 Oct4 observed days · gaps preserved19 Oct
Observed star growth
Samples or dated GitHub history
24h
+0 stars
Measured from observations
18 Oct 2026 → 19 Oct 2026
7d
Building history
More observations needed
— → 19 Oct 2026
30d
Building history
More observations needed
— → 19 Oct 2026