formal-methods
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Vor - a BEAM language where the compiler verifies what AI agents write |
|
2 | 205 | April 27, 2026 |