Commit 8876b6fc authored by Muriel Shan Sei Fan's avatar Muriel Shan Sei Fan
Browse files

Update : regroupement de Love/Liquidity, TzScan/Dunscan, ajout d'Optal

parent 753500f7
......@@ -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 class="col-lg-3">
<p><img class="img_products" src="assets/img/logo_dune_gimp.png"/></p>
<h3 align="center"><a href="">DunScan</a></h3>
<p class="p_index_center">The Dune network explorer</p>
<h3 align="center"><a href="">DunScan</a> & <a href="">TzScan</a></h3>
<p>Blockchain explorers</p>
<div class="row">
<div class="col-lg-3">
<p><img class="img_products" src="assets/img/logo_love_gimp.png"/></p>
<h3 align="center"><a href="">LOVE</a></h3>
<p class="p_index_center">A smart-contract language for the Dune Network blockchain</p>
<h3 align="center"><a href="">LOVE & Liquidity</a></h3>
<p>Smart-contract languages for the Dune Network & Tezos blockchains</p>
<div class="col-lg-3">
<p><img class="img_products" src="assets/img/logo_tezos.svg" /></p>
......@@ -76,9 +76,10 @@ 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 class="col-lg-3">
<p><img class="img_products" src="assets/img/logo_tzscan_gimp.jpg"/></p>
<h3 align="center"><a href="">TZScan</a></h3>
<p class="p_index_center">The Tezos network explorer</p>
<p><img src="assets/img/optal.png"/></p>
<h3 align="center"><a href="">Optal</a></h3>
<p>A language for linear optimisation</p>
<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