Rare find

DrTLAPlus. Dr. TLA+ series - learn an algorithm and protocol, study a specification

github.com/tlaplus/DrTLAPlus
by @tlaplus

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.