Show HN: Untyped – check recorded agent runs against a TLA+ spec(github.com)
2 pointsby damianabramov7 hours ago2 comments