pluscal. Tests with PlusCal / TLA+

github.com/belaban/pluscal
by @belaban

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.