Hacker News new | ask | show | jobs
by charlieyu1 9 days ago
I just wish Lean4 is easier to use. Tried Mathematics in Lean and couldn’t even get the dependencies right