bluesky — Nicholas Mancuso — 6 Oct 2026
Im not sure i follow, the proof was written in lean. Are you saying that a separate LLM should write the formal proof? S…
#proof-assistants #formal-verification
Im not sure i follow, the proof was written in lean. Are you saying that a separate LLM should write the formal proof? Sorry just trying to make sure I better understand