4 ms·
TLA+, Alloy, Isabelle, Coq, or Lean would all be fine choices. I'd prefer TLA+ myself as the language, TLA, is straight-forward maths.
by 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 agoWhat about Z or B?