6 ms·

So if this project was completed in Lean 3, for sake of example, how compatible would it be with Lean 4 today?