zlacker

[parent] [thread] 0 comments

1. UltraS+(OP)[view] [source] 2026-01-21 03:39:27

Opus 4.5 is very good at using TLA+ specifications to generate code.

[go to top]