List view

• Lean proof library v1.0

  This milestone gathers the issues of the Lean proof library (Prelude).

  No due date

  •11/16 issues closed
  68% complete5 open11 closed

• Lean backend v1.0

  The subset of rust supported by the Lean backend will be similar to F*, the (currently) most mature backend of Hax. This includes basic expressions, enums, structs, traits, etc. Features left out of this milestone (like returning `&mut` require engine work). This milestone does not cover the extension of the Lean library

  No due date

  •31/50 issues closed
  62% complete19 open31 closed

• v1

  No due date

  •2/2 issues closed
  100% complete0 open2 closed