24 followers
RT @YaccConstructor: Our paper "Bar-Hillel Theorem Mechanization in Coq" is published: https://t.co/LRtLNcfFAP #WoLLIC_2019
RT @YaccConstructor: Our paper "Bar-Hillel Theorem Mechanization in Coq" is published: https://t.co/LRtLNcfFAP #WoLLIC_2019
Our paper "Bar-Hillel Theorem Mechanization in Coq" is published: https://t.co/LRtLNcfFAP #WoLLIC_2019