Composable static typing, proofs and formal verification for Juliagithub.com/Keno2 pointsamkkma3 years ago