Trakhtenbrot's Theorem in Coq - A Constructive Approach to Finite Model Theory.

Dominik Kirst, Dominique Larchey-Wendling

Browse the full CADE paper archive.