TY  - RPRT
TI  - Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
AU  - Dominik Kirst
AU  - Dominique Larchey-Wendling
PY  - 2022
DO  - 10.46298/lmcs-18(2:17)2022
UR  - https://arxiv.org/abs/2104.14445
ID  - 2104.14445
ER  -