fbpx
Thursday, July 18, 2019
Advertisement1xbit.com
Home Tags Coq

Tag: Coq

Tezos Foundation Backs Blockchain Research by Inria and Tarides

The Tezos Foundation today announced two fresh partnerships to encourage the development of technologies underlying the Tezos protocol. Tezos will be backing the French...