Dr. TLA+ series - learn an algorithm and protocol, study a specification
Why do you think that https://gitlab.com/xen-project/people is a good alternative to DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Why do you think that https://gitlab.com/xen-project/people is a good alternative to DrTLAPlus