Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
SteveJS
71 days ago
|
parent
|
context
|
favorite
| on:
Lean 4: How the theorem prover works and why it's ...
I have several techniques queued up that attempt to counter it. The distinction in Agents.md is definitely part of it.
Not sure if they will work yet.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Not sure if they will work yet.