I agree, naming is very important. I once tried to have a conversation with a group of colleagues about Coq, and literally the conversation couldn’t move past t

I agree, naming is very important. I once tried to have a conversation with a group of colleagues about Coq, and literally the conversation couldn’t move past the name. Now I just use TLA+ or Lean.