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