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