2,130 followers UCL Discovery @ucl_discovery Open Access UCL Research: Approaching Arithmetic Theories with Finite-State Automata https://t.co/mEXEhzd4wk 27 May 2021 Reply Repost Favourite