Stream: hs-to-coq devs & users

Topic: in prod


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip Li-yao (Nov 01 2021 at 23:07):

That's quite exciting to hear about!


Last updated: Feb 06 2023 at 06:29 UTC