Hacker News new | ask | show | jobs
Composable static typing, proofs and formal verification for Julia (github.com)
2 points by amkkma 1041 days ago