Voevodsky and Proof Assistants
Credit: © Heidelberg Laureate Forum Foundation / Flemming – 2016 Vladimir Voevodsky was awarded the Fields Medal in 2002 for his work on motivic cohomology leading to a proof of the Milnor conjecture. He’s here … Weiterlesen