Composable static typing, proofs and formal verification for Juliagithub.com2 points·amkkma··0 commentsOpen articleSaveView on HN