woggy

Karma: 237
Created: 8 years ago

Recent Submissions

1. ▲ Agentic Proof-Oriented Programming (fstar-lang.org) 1 point · 1 month ago · 0 comments
2. ▲ A field report of using Alloy with agent-based development (alloytools.discourse.group) 1 point · 1 month ago · 0 comments
3. ▲ The TLA+ Video Course (lamport.azurewebsites.net) 5 points · 1 month ago · 0 comments

All submissions on HN · View profile on HN