An OCaml-first software consultancy — correct, reliable software by construction. https://invarware.com https://invarware.com/static/images/logo.svg https://invarware.com en Sun, 19 Jul 2026 00:55:59 +0000 Sun, 19 Jul 2026 00:55:59 +0000 60 Invariant Software Invariant Software https://invarware.com/blog/hello-world Invariant Software Sun, 14 Jun 2026 00:00:00 +0000 https://invarware.com/blog/hello-world hello-world values ocaml correctness