of Christian Nyumbayire via fstar-club
> *Sent:* Wednesday, January 9, 2019 6:41 PM
> *To:* fstar-club@lists.gforge.inria.fr
> *Subject:* [fstar-club] Noob questions
>
> Hi,
> I'm a programmer working in crypto (both cryptography and cryptocurrency).
> I've learned about KreMLin from the
this helps!
~ jonathan
From: fstar-club on behalf of
Christian Nyumbayire via fstar-club
Sent: Wednesday, January 9, 2019 6:41 PM
To: fstar-club@lists.gforge.inria.fr
Subject: [fstar-club] Noob questions
Hi,
I'm a programmer working in crypto (both cryptography and cryp
ayire via fstar-club
> *Sent:* Wednesday, January 9, 2019 6:42 PM
> *To:* fstar-club@lists.gforge.inria.fr
> *Subject:* [fstar-club] Noob questions
>
>
>
> Hi,
> I'm a programmer working in crypto (both cryptography and cryptocurrency).
> I've learned about KreMLin from
@lists.gforge.inria.fr
Subject: [fstar-club] Noob questions
Hi,
I'm a programmer working in crypto (both cryptography and cryptocurrency). I've
learned about KreMLin from the Hacl slides and youtube video. I got quite
interested in FStar since then. I'm trying to learn more and figure out how I
could