mirror of
https://github.com/logos-co/roadmap.git
synced 2025-02-19 11:28:02 +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.