Oooh… very good.
Formal decidability: constructive logic.
Source date (UTC): 2024-07-08 13:43:01 UTC
Original post: https://twitter.com/i/web/status/1810308612884934806
Reply addressees: @JohannNetram
Replying to: https://twitter.com/i/web/status/1810307891187835138
Leave a Reply