poteto@poteto

4日で ~1,150 PR、ステートマシンには TLA+

~1,150 PRs in 4 days, TLA+ for state machines