Quinn (Nov 01 2021 at 20:11): Quinn (Nov 01 2021 at 20:11):Hi, we're launching v1 of a product this month, i'll be busy for the next two weeks, but after that i'll be returning to issue 195 because i'm doing a proof of concept for building our formal verification strategy around hs-to-coq. I'm allowed to spend multiple weeks researching for strategy and PoCing, but I hope to get a yes/no verdict about hs-to-coq on our product by the end of november. Just wanted to say thanks to everyone in the github issue comments, and I'll see everyone in 2 weeks.
Quinn (Nov 01 2021 at 20:16):tldr we basically want to ship v2 sometime Q3 or Q4 of 2022 having finished proofs about various components.
Li-yao (Nov 01 2021 at 23:07):That's quite exciting to hear about!
Last updated: Feb 06 2023 at 06:29 UTC