Sure, I'll email you a picture. And I'm very sorry to hear that.
27.11.2024 21:46
👍 0
🔁 0
💬 0
📌 0
Sure, I'll email you a picture. And I'm very sorry to hear that.
Yeah, we got married about five years ago, and have a two-year-old son. We're still living in Saarbrücken, but we're planning to move back to France at the beginning of the year. How is Jacqui doing?
I see, sounds cool. Branwen is doing well, thank you. I'm currently working for a startup, developing proof automation for the formal verification of C++ code in Coq/Rocq.
Hi Neil! Doing good, thanks. How are you? Glad to hear that Clovis joined the MSP goup. Are you working together?