Bar-Hillel Theorem Mechanization in Coq.

Sergey Bozhko, Leyla Khatbullina, Semyon V. Grigorev

Browse the full WoLLIC paper archive.