poteto@poteto

4일 동안 PR ~1,150개, 상태 머신은 TLA+

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