Start here: https://github.com/bendlang/bend
This is a vibecoded project, not a resource for learning modeling for formal verification.
alt Hacker News
This is a vibecoded project, not a resource for learning modeling for formal verification.