News for hackers. Stuff that matters.

A comment on Theorem Proving in Lean [pdf]. Parent comment

Re:Theorem Proving in Lean [pdf] by mafribe on Sunday September 29, 2019 @05:42PM (#21109794)
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.
[ Parent | on HN ]

There are no comments on this comment yet.