Comment by thdhhghgbhy

6 months ago

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

0 comments