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.
tldr we basically want to ship v2 sometime Q3 or Q4 of 2022 having finished proofs about various components.
That's quite exciting to hear about!
Last updated: Feb 06 2023 at 06:29 UTC