3 ms·We use F* for some of our crypto for embedded systems software :Dby wyes 2y agoWe use F* for some of our crypto for embedded systems software :D