Can you say more about computability of "conformal models" in the Langlands context (beyond vibes, perhaps cites)? In my understanding, "conformal models" are by construction computable..
Oops, yeah, my bad. I've been doing a deep dive into lean4 and ended up conflating the use of the term computability from that context. Sorry, for the confusion!