Twitter Feed: Post

@gcouprie ("Geoffroy Couprie") wrote:

Modeling stuff with TLA+ is fun 😁
Intensely frustrating too 😅
It will take a while to get used to it