News for hackers. Stuff that matters.

A comment on "Why not just use Lean?". Parent comment

Re:"Why not just use Lean?" by strbean on Monday April 27, 2026 @02:02PM (#47925024)
Well, assembly languages are generally Turing complete. Not sure what the parallel would be in proof engines.
[ Parent | on HN ]

There are no comments on this comment yet.