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

Artem Yushkovskiy

  1. Comparison of Two Theorem Provers: Isabelle/HOL and Coq
    2018/08/29 by Artem Yushkovskiy · 2 voices
    Computer Science · #cs.LO