Composable static typing, proofs and formal verification for Julia #1 Post by amkkma » Fri, Sep 22, 2023, 2:46 AM UTC Composable static typing, proofs and formal verification for Juliagithub.com