4 ms·

Here's the Servo pull request that came from formal verification of Rust code: https://github.com/servo/servo/pull/22458 https://github.com/servo/servo/pull/22

• gpm 8y ago
  And it looks like the annotated rust code (with commented out invariants) and f* code for that example can be found here: https://github.com/denismerigoux/rox-star/blob/master/textinput/ https://github.com/denismerigoux/rox-star/blob/master/textin...