HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?
1 comment
2 years ago
mnk47
3 points
2.
▲
Ask HN: Advice for programmer with impostor syndrome motivated to study
1 comment
2 years ago
falling_myshkin
2 points
3.
▲
Software Foundations
softwarefoundations.cis.upenn.edu
22 comments
9 years ago
rfreytag
138 points
4.
▲
The Software Foundations: mathematical underpinnings of reliable software
softwarefoundations.cis.upenn.edu
24 comments
4 years ago
hegzploit
134 points
5.
▲
Functional Programming in Coq
softwarefoundations.cis.upenn.edu
30 comments
3 years ago
atan2
65 points
6.
▲
Software Foundations
softwarefoundations.cis.upenn.edu
discuss
a year ago
Tomte
6 points
7.
▲
Software Foundations Vol. 5: Verifiable C
softwarefoundations.cis.upenn.edu
discuss
6 years ago
siraben
4 points
8.
▲
Software Foundations
softwarefoundations.cis.upenn.edu
1 comment
9 years ago
jacobparker
3 points
9.
▲
Logical Foundations – Functional Programming in Coq
softwarefoundations.cis.upenn.edu
discuss
5 years ago
tempodox
3 points
10.
▲
Software Foundations
softwarefoundations.cis.upenn.edu
discuss
6 years ago
e79
3 points
11.
▲
Software Foundations series books for reliable software
softwarefoundations.cis.upenn.edu
discuss
7 years ago
ghosthamlet
3 points
12.
▲
Software Foundations
softwarefoundations.cis.upenn.edu
discuss
2 years ago
zwliew
2 points
13.
▲
Software Foundations: intro into mathematical underpinnings of reliable software
softwarefoundations.cis.upenn.edu
discuss
8 years ago
espeed
2 points
14.
▲
Software Foundations
softwarefoundations.cis.upenn.edu
discuss
9 years ago
noch
2 points
15.
▲
Software Foundations
softwarefoundations.cis.upenn.edu
discuss
5 years ago
jdale27
1 points
16.
▲
Software Foundations
softwarefoundations.cis.upenn.edu
discuss
9 years ago
markisus
1 points