Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
loading thread…
8 ms
·
Composable static typing, proofs and formal verification for Julia
2 points
by
amkkma
3y ago