Gunnar_Zarncke comments on Gunnar_Zarncke’s Shortform

[Gunnar_Zarncke]

Is anybody aware of any updates on Logical Induction, published in 2016? I would expect implementations in Lean by now.