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

Anne Baanen

  1. Use and abuse of instance parameters in the Lean mathematical library
    2022/02/03 by Anne Baanen, Baanen, Anne · 4 citations
    Computer Science · #Mathematics, Computing, and Information Processing