Skip to content
This repository was archived by the owner on Jul 24, 2024. It is now read-only.

feat(scripts): scrape typeclass hierarchy into json #3307

Closed
jcommelin wants to merge 8 commits into from

Update scripts/typeclass_stats.lean

dc23da1
Select commit
Loading
Failed to load commit list.
Closed

feat(scripts): scrape typeclass hierarchy into json #3307

Update scripts/typeclass_stats.lean
dc23da1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs