Worth mentioning there is an emerging scientific computational framework Owl[1][2] and interesting concept of using OCaml-based languages for more formal protoc

Worth mentioning there is an emerging scientific computational framework Owl[1][2] and interesting concept of using OCaml-based languages for more formal protocol or logic description with Imandra[3]. [1] https://ocaml.xyz https://ocaml.xyz [2] https://github.com/owlbarn https://github.com/owlbarn [3] https://imandra.ai https://imandra.ai