Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
dbdr
17 hours 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: