List view

• G1.M4

  Transpile our typechecker; Kick off Wasm.lean

  No due date

  •2/3 issues closed
  66% complete1 open2 closed

• G1.M3

  Compile, typecheck and transpile Lean 4 code

  No due date

  •11/12 issues closed
  91% complete1 open11 closed