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

2 points | by damianabramov 7 hours ago

2 comments