| user: | woggy |
| created: | June 6, 2018 |
| karma: | 216 |
| 1. | Agentic Proof-Oriented Programming(fstar-lang.org) |
| 2. | A field report of using Alloy with agent-based development(alloytools.discourse.group) |
| 3. | The TLA+ Video Course(lamport.azurewebsites.net) |
| 4. | How Agents Quietly Break Architecture [video](youtube.com) |