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