3 ms·
> if you ever find yourself interested in TLA+ Unlikely. Though I might be interested in HOL Isabelle eventually.
by permeakra 7y ago
> if you ever find yourself interested in TLA+
Unlikely. Though I might be interested in HOL Isabelle eventually.