Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
strbean
2 days ago
|
parent
|
context
|
favorite
| on:
“Why not just use Lean?”
Well, assembly languages are generally Turing complete. Not sure what the parallel would be in proof engines.
help
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:
