Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

Re-assign community