1. 9

  2. 2

    I would be interested in what other language they are writing it in.

    A formally verified version in Agda/Coq would be very interesting. I think there’s a lot that the crypto and type theory communities can learn from each other (and there’s probably a huge business opportunity here, as well!).

    1. 4