25:34Devil Games and QR continuous Games complete for the First Order Theory of the RealsTill Miltzow21 views·4 months ago