Report - Lean 4: State of the â - Sebastian Ullrich · AbriefhistoryofLean 2 2020/01/09 Ullrich-Lean4:Stateofthe⋃ IPDSnelting KIT Lean0.1(2014) Lean2(2015) firstofficialrelease fixedtacticlanguage

Please pass captcha verification before submit form