formal-methods
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Vor - a BEAM language where the compiler verifies what AI agents write |
|
3 | 361 | June 9, 2026 |