vix.ing · top · new · best · stats · spec

Nicolò Cavalleri

  1. Elements of Differential Geometry in Lean: A Report for Mathematicians
    2021/08/01 by Anthony Bordg, Bordg, Anthony, Nicolò Cavalleri +1 · 2 voices
    #cs.LO #math.DG