mirror of
https://github.com/logos-co/roadmap.git
synced 2025-02-09 14:53:37 +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.