Comment by azaras

I am learning math logic and two languages to use it: TLA+ and Lean.