3 ms·

Which flavour of Formal Mathmatical language would you suggest it should be written in?

• agentultra 8y ago
  TLA+, Alloy, Isabelle, Coq, or Lean would all be fine choices. I'd prefer TLA+ myself as the language, TLA, is straight-forward maths.
  • mehh 8y ago
    What about Z or B?