TLA+ spec finds bugs in Apache BookKeepergithub.com2 points·lemmster··1 commentOpen articleSaveView on HN