3 ms·

They did. There's an Isabelle spec, a Haskell implementation, and a C implementation which I believe is mechanically generated from the Haskell implementation.

• cmrx64 10y ago
  The C code is manually written.