Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
nylonstrung
14 days ago
|
parent
|
context
|
favorite
| on:
Introduction to Formal Verification with Lean Part...
The @[grind] tactic has to be the single most important addition to Lean in terms of it's growing popularity
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
