Formal or not formal? That is the question in AI for theorem proving (via xcthulhu) — discussion
#formalmethods #vibecoding
