3 ms·I am learning math logic and two languages to use it: TLA+ and Lean.by azaras 19d agoI am learning math logic and two languages to use it: TLA+ and Lean.