[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: TLA+ theory blog post series + new subreddit

All that to say that, in my opinion, speaking of HOL in connection with TLAPLUS is not a good idea.
It needs too many words to be accurate and it is not related to the subject anyway.