N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
Before the theorem prover: verification is older than the alphabet
(
amangoel.ai
)
4 points by
amangoelumich
1 days ago
|
0 comments
add comment
Rendered at 05:04:05 GMT+0000 (Coordinated Universal Time) with Vercel.