I'd love it, but this is almost textbook wishful thinking.

		tasuki 23 hours ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream I'd love it, but this is almost textbook wishful thinking.