TY  - RPRT
TI  - Trakhtenbrot's Theorem in Coq, A Constructive Approach to Finite Model Theory
AU  - Dominik Kirst
AU  - Dominique Larchey-Wendling
PY  - 2020
UR  - https://arxiv.org/abs/2004.07390
ID  - 2004.07390
ER  -