Zulip Chat Archive
Stream: Geographic locality
Topic: La Rochelle, FR
Adrien Champion (Oct 05 2022 at 07:04):
I work in SMT-based software verification, certification using proof assistants, and use Rust heavily from La Rochelle, France. I work remotely for a Paris-based company called OCamlPro.
Adrien Champion (Oct 05 2022 at 07:05):
Probably going to be the only one in this thread :smiley_cat:
Last updated: Dec 20 2023 at 11:08 UTC