<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">2016-06-06 15:27 GMT+01:00 Marco Santamaria <span dir="ltr"><<a href="mailto:marco.santamaria@gmail.com" target="_blank">marco.santamaria@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><span class="">Il giorno 6 giugno 2016 15:02, Valerio Maggio <span dir="ltr"><<a href="mailto:valerio.maggio@gmail.com" target="_blank">valerio.maggio@gmail.com</a>></span> ha scritto:<br></span><div class="gmail_quote"><span class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Btw, ma davvero esiste un linguaggio che si chiama "Coq" ?! ... </div></div></blockquote><div><br></div></span><div>E lo hanno pure usato per dimostrare il teorema dei quattro colori!</div></div></div></div></blockquote><div><br></div><div>And now a presentation about the coq programming language...</div><div><br></div><div>[leggere ad alta voce...] </div></div><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"> .<br>..: -enrico-</div>
</div></div>