3 ms·Wait, is it a reimplementation of TLA+ in Isabelle?by iamwil 3y agoWait, is it a reimplementation of TLA+ in Isabelle?