Voevodsky’s Mathematical Revolution 13 years agoIt is not automated theorem proving, but computer verified proving 0ThreadHN