Skip to content
onsuggest
Log in
Book en

Program Proofs

Source: Open Library ·

By K. Rustan M. Leino; Kaleb Leino (2023). 2 recommendations on Hacker News.

Why it's interesting

Hacker News rank #9956, 4 mentions, 2 recommenders.

Open the original Discover more

Keyboard shortcuts

Previous discovery
←P
Next discovery
→N
Like
L
Not for me
X
Save
S
Show this help
?
Close
Esc

Shortcuts work on the discovery page.