Formal verification with AI assistance used to be something only the Amazon team would do (e.g. for Aurora DSQL). Excited that there's now a project to bring formal methods to an AI agent near you, rather than only in the FAANG ivory tower.
Dollgithub.com/dollspace-ga...