@jriccdev.bsky.social
18 Followers · 27 Following
Formal methods, OCaml, Quantum circuits, Software correctness
Nothing here yet.
