Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
CrimsonCape
on May 16, 2024
|
parent
|
context
|
favorite
| on:
Translation of Rust's core and alloc crates to Coq...
Could someone ELI5 the concept of "verification", why does an entire language (Coq) exist for this purpose, and what practical implications this has on wider society?
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:
