Skill
lean-formalization-intake
Use when deciding whether a research claim should enter the optional Lean formalization lane.
Claim this listing
Connect your GitHub to prove you own or maintain this listing. We verify repo access automatically — most publishers are confirmed in seconds.
1Connect GitHub
2Submit your claim
3Auto-verified, or reviewed within 48h