Wrote March 2025 development update post

[ahelwer]

Slated for publication on March 15th.

Tagging people mentioned in this post for comment/validation/anything missed:

• @lemmy
• @Calvin-L
• @hwayne
• @will62794
• @muenchnerkindl
• @domodwyer (if you wish, you can also provide a name/website I will link to)
• @rozlynd (if you wish, you can also provide a name/website I will link to)
• @s12f (if you wish, you can also provide a name/website I will link to)
• @acm-ribeiro

[lemmy]

Wrapped up monotonic systems:

tlaplus/Examples#155

TLA+ Debugger and Trace Validation

tlaplus/tlaplus#1156
tlaplus/tlaplus#1158

General maintenance

tlaplus/tlaplus#1155
tlaplus/vscode-tlaplus#318 (comment)

[hwayne]

I'm happy that you want to include me, but I don't think my post really deserves to be counted as TLA+ content.

(I'm working on a lot of new exercises but that won't be ready for a couple more weeks)

[lemmy]

I'm happy that you want to include me, but I don't think my post really deserves to be counted as TLA+ content.

(I'm working on a lot of new exercises but that won't be ready for a couple more weeks)

Under what license will your material be available? Will it be on PlusCal or TLA+?

[hwayne]

Under what license will your material be available?

MIT, same as the examples repo

Will it be on PlusCal or TLA+?

So far they're all TLA+

[s12f]

Thanks for your mention, it looks all ok to me. <3

[muenchnerkindl]

Thank you for mentioning the repair of these proofs. More proofs to come, but that will be for next month.