Hacker News new | ask | show | jobs
by mafribe 2461 days ago
How would you compare the state of proof automation to be expected from Lean 4 in comparison with Isabelle/HOL? I'm quite familiar with the latter.