Hacker News new | ask | show | jobs
by thdhhghgbhy 300 days ago
So if this project was completed in Lean 3, for sake of example, how compatible would it be with Lean 4 today?