A High-Level View of TLA+

91 points

by blobcode

1 weeks ago

19 comments