News for hackers. Stuff that matters.

A comment on Introduction to Formal Verification with Lean Part 1. Parent comment

Re:Introduction to Formal Verification with Lean Part 1 by nylonstrung on Wednesday July 22, 2026 @03:30PM (#49012185)
The @[grind] tactic has to be the single most important addition to Lean in terms of it's growing popularity
[ Parent | on HN ]

There are no comments on this comment yet.