about TLA+

[A L]

Hi,

I watched your team's video in youtube about using TLA+ in Ambry.

I checked out code of Ambry but didn't find any tla file.

Could you tell me where they are if they are publicly accessible?

Is there any document about how your team uses TLA+?

Thanks,

Anthony