Since 2017 is just over, now is probably the best time to review what happened during this hectic year at OCaml Pro… Here are our…
A new release of Alt-Ergo (version 2.2.0) is available.
Originally published at https://www.ocamlpro.com on July 20, 2018.
OCamlPro is pleased to announce the latest update of TZScan ( http://tzscan.io), its Tezos block explorer to ease the use of the Tezos network…
We are pleased to announce that the Tezos Foundation has issued a grant to to support its work on , a block explorer for the Tezos blockchain that will be made open-source.
