Skip to content

Milestones

List view

  • MB: Bugs

    This milestone contains retroactive bugs in completed milestones that should be fixed ASAP. They are typically extraction issues or Lean compilation issues.

    No due date
    •16/18 issues closed
    88% complete2 open16 closed

  • M5: Cryptographic Verification

    Let's build on our stdlib verification to verify pieces of real-world cryptography.

    No due date
    •0/1 issues closed
    0% complete1 open0 closed

  • MX: Miscellaneous Improvements

    Stuff that doesn't fall into other milestones. Grab something from here if you want something different to do or are not working in the critical path.

    No due date
    •40/40 issues closed
    100% complete0 open40 closed