Lean Three

Lean is a computer programme that translates mathematics from lean three into lean four. Microsoft had been writing lean four for the last year or so, and it is not backwards compatible with lean three because of some serious design changes. The main thing going on in the lean for community right now is to translate three quarters of a million lines of mathematics from lean 3 into lean four - which could be done within months.