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

2 pointsposted 7 hours ago
by damianabramov
(github.com)

2 Comments