Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
strbean
3 months 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.
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:
