raventid

I write Rust/Ruby. Devops in the past. I know some C++, Haskell, Nixlang, Elixir, and Ocaml. Interested in math, ATS, TLA+, Alloy, Isabell, Coq, Lean, Arend.

@aurora-is-nearHong Kong SAR