HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
Functional Programming in Coq | Heykuki News
Functional Programming in Coq
softwarefoundations.cis.upenn.edu
65 points
atan2
3 years ago
30 comments
Threaded
Loading comments...