#formalmethods

2 posts

@lobsters Lean proved this program was correct; then I found a bug#security #formalmethods #plt 0 0Apr 13, 2026
@lobsters Giving LLMs a Formal Reasoning Engine for Code Analysis#formalmethods #vibecoding 0 0Apr 8, 2026