Skill to verify and optimize software with TLA+ and ts-tla

(github.com)

1 points | by aperturecjs 10 hours ago ago