<div dir="auto">Thanks!<div dir="auto"><br></div></div><br><div class="gmail_quote"><div dir="ltr">Den sön 22 apr. 2018 10:47Nils Anders Danielsson <<a href="mailto:nad@cse.gu.se">nad@cse.gu.se</a>> skrev:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 2018-04-20 17:06, David Wahlstedt wrote:<br>
> Or maybe some type theorist have written about ASN.1 anywhere?<br>
<br>
A quick search led to<br>
<br>
   <a href="https://github.com/bendy/fiat-asn.1" rel="noreferrer noreferrer" target="_blank">https://github.com/bendy/fiat-asn.1</a>,<br>
<br>
which is described as "A formally verified ASN.1 compiler using Fiat".<br>
<br>
-- <br>
/NAD<br>
</blockquote></div>