Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
dbdr
20 days ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
Do you now use Lean instead of Rocq because your new employer happened to prefer that, or is it superior in your opinion? Which one would you recommend to look at first?
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
