Christian Lawson-Perfect on Nostr: nprofile1q…jsaev that's 90% of computability/decidability proofs!
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqyxxu3fkku2jfpuuhesaexzuhh6z5al0rjjs292kcvcryxc35v02q9jsaev (nprofile…saev) that's 90% of computability/decidability proofs!