Lean would be so well suited to LLMs. I hope we see a resurgence in interest in ...

		nylonstrung 5 days ago \| parent \| context \| favorite \| on: If you're going to vibe code, why not do it in C? Lean would be so well suited to LLMs. I hope we see a resurgence in interest in languages like that Formal proofs have so much potential in this context