Existence of a finitely presented non-sofic group

Source: url:https://github.com/openai/ten-proofs Authors: OpenAI, Dean Cureton Status: verified Main declarations: SoficGroups.exists_finitelyPresented_nonsofic_group Tags: group-theory, sofic-groups, property-t, finite-approximations MSC: 20F65, 20E22