pyTLA. A transcompiler that writes PlusCal files from python bytecode/AST

github.com/mbellotti/pyTLA
by @mbellotti

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.