3 ms·I believe they are using the C target/dialect of F* for Everest.by slaymaker1907 7y agoI believe they are using the C target/dialect of F* for Everest.