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

Open

Description

opened

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)

to join this conversation on GitHub. Already have an account? Sign in to comment

No one assigned

No labels

No projects

No milestone

None yet

No branches or pull requests