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

 (github.com)

2 points | by damianabramov 8 hours ago ago

2 comments