Show HN: Untyped – check recorded agent runs against a TLA+ spec

 (github.com)

2 points | by damianabramov 2 hours ago

2 comments