List view

• Lean 3.12

  Due by June 1, 2020

  •2/3 issues closed
  66% complete1 open2 closed

• Lean 3.11

  Due by June 1, 2020

  •1/1 issues closed
  100% complete0 open1 closed

• Lean 3.10

  Due by May 15, 2020

  •3/3 issues closed
  100% complete0 open3 closed

• Lean 3.9

  Due by May 1, 2020

  •12/12 issues closed
  100% complete0 open12 closed

• Lean 3.7.1

  Due by April 1, 2020

  •1/1 issues closed
  100% complete0 open1 closed

• Lean 3.8

  Due by April 10, 2020

  •12/12 issues closed
  100% complete0 open12 closed

• Lean 3.7

  Due by April 1, 2020

  •14/14 issues closed
  100% complete0 open14 closed

• Lean 3.5.0c

  Goals: * Enable the substitution of efficient floating point numbers as implementation for Lean models for floating * Enable the efficient implementation of QPF-based data types: https://github.com/avigad/qpf * no change should break mathlib

  No due date

  •5/6 issues closed
  83% complete1 open5 closed