Comment by nialv7

right now about 42% has Lean formalization I think.