Comment by f0e4c2f7 1 day ago Start here: https://github.com/bendlang/bend 1 comment f0e4c2f7 Reply ModernMech 1 day ago This is a vibecoded project, not a resource for learning modeling for formal verification.
ModernMech 1 day ago This is a vibecoded project, not a resource for learning modeling for formal verification.
This is a vibecoded project, not a resource for learning modeling for formal verification.