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

Fan, Max

  1. Proof Repair across Quotient Type Equivalences
    2023/10/10 by Cosmo Viola, Viola, Cosmo, Max Fan +3 · 1 voice · 1 citation
    Arts and Humanities · Physics and Astronomy · Social Sciences · #Eurasian Exchange Networks #Historical Astronomy and Related Studies #Indian and Buddhist Studies #cs.PL