tla-rust icon indicating copy to clipboard operation
tla-rust copied to clipboard

Published 20 hours ago • verified publisher icon spacejam

what's the status of this repo? will this be maintained?

Open devdoomari3 opened this issue 4 years ago • 1 comments

the ideas behind this is wonderful!

but any progress? the last update was 3 years ago 😭

(I really hope I can get TLA+ checking on my rust code)

devdoomari3 avatar Nov 04 '19 06:11 devdoomari3

[bump]

johnnyutahh avatar Aug 12 '23 15:08 johnnyutahh