6 ms·TLA+ in Isabelle/HOL79 points by kalaracey 3y agosmitty1e 3y ago"Temporal Logic of Actions", not "Three Letter Acronym".iamwil 3y agoWait, is it a reimplementation of TLA+ in Isabelle?