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

Clune, Joshua

  1. Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
    2025/05/20 by Qian, Yicheng, Clune, Joshua, Barrett, Clark +1 · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)