Read news on tla+ specs with our app.
Read more in the app
Conformance checking at MongoDB: Testing that our code matches our TLA+ specs
