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

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)