3 ms·And TLA+ and Lean say "catch it before you write any code".by euroderf 5mo agoAnd TLA+ and Lean say "catch it before you write any code".