Yes, but the usefulness of such a tool depends on what exactly you want to achie...

		xigoi on Nov 26, 2022 \| parent \| context \| favorite \| on: Rice’s Theorem: An interactive tutorial Yes, but the usefulness of such a tool depends on what exactly you want to achieve.