Commit d82b7409 authored by Muriel Shan Sei Fan's avatar Muriel Shan Sei Fan Committed by Julien Blond
Browse files

Update index.md - Regroupement de dunscan/Tzscan, Love & Liquidity et ajout d'Optal

parent 715af8c6
......@@ -54,16 +54,16 @@ We cater to very specific needs. For example, we can translate a “black box”
<p class="p_index_center">An SMT solver for software verification</p>
</div>
<div class="col-lg-3">
<h3 align="center"><a href="https://dunscan.io/">DunScan</a> & <a href="https://tzscan.io/">TzScan</a></h3>
<p><img src="assets/img/logo_dune.png"/></p>
<h3 align="center"><a href="https://dunscan.io/">DunScan</a> & <a href="https://tzscan.io/">TzScan</a></h3>
<p>Blockchain explorers</p>
</div>
</div>
<div class="row">
<div class="col-lg-3">
<h3 align="center"><a href="https://dune.network/docs/dune-node-next/love-doc/reference/love.htmlo/">LOVE & Liquidity</a></h3>
<p><img src="assets/img/logo_love.png"/></p>
<h3 align="center"><a href="https://dune.network/docs/dune-node-next/love-doc/reference/love.htmlo/">LOVE & Liquidity</a></h3>
<p>Smart-contract languages for the Dune Network & Tezos blockchains</p>
</div>
<div class="col-lg-3">
<p><img class="img_products" src="assets/img/logo_tezos.svg" /></p>
......@@ -76,10 +76,9 @@ We cater to very specific needs. For example, we can translate a “black box”
<p class="p_index_center">A Solidity Parser in OCaml with Menhir</p>
</div>
<div class="col-lg-3">
<p><img src="assets/img/optal.png"/></p>
<p><img src="assets/img/optal.png"/></p>
<h3 align="center"><a href="http://optal.ocamlpro.com/">Optal</a></h3>
<p>A language for linear optimisation</p>
</div>
</div>
<br />
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment