
<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <div class="moz-cite-prefix">On 10/07/2020 13:53, David Crocker

      wrote:<br>

    </div>

    <blockquote type="cite"

      cite="mid:426aae50-3bd6-e8fe-13d4-22893e04389f@eschertech.com">Have

      you tried running eCv on the C implementation?</blockquote>

    <p><font size="+1">Or Frama-C - shall we have a theorem-prover

        rumble? :-)</font></p>

    <p><font size="+1"> - Rod</font></p>

    <p><font size="+1"><br>

      </font></p>

  </body>

</html>