2 ms·Opus 4.5 is very good at using TLA+ specifications to generate code.by UltraSane 9mo agoOpus 4.5 is very good at using TLA+ specifications to generate code.