Report - An axiom free Coq proof of Kruskal’s tree theorem - Dagstuhlmaterials.dagstuhl.de/.../16031.DominiqueLarchey-Wendling.Slides.pdf · An axiom free Coq proof of Kruskal’s tree theorem

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form