mirror of
https://github.com/logos-co/roadmap.git
synced 2025-01-12 09:24:19 +00:00
38e90509b2
This adds a few maintenance milestones as well as a new milestone for collaborating with Codex on formally verifyign their smart contracts.