| ▲ | f0e4c2f7 4 hours ago | |
Start here: https://github.com/bendlang/bend | ||
| ▲ | ModernMech 2 hours ago | parent [-] | |
This is a vibecoded project, not a resource for learning modeling for formal verification. | ||
| ▲ | f0e4c2f7 4 hours ago | |
Start here: https://github.com/bendlang/bend | ||
| ▲ | ModernMech 2 hours ago | parent [-] | |
This is a vibecoded project, not a resource for learning modeling for formal verification. | ||