search

2222-42 / studyingSpecifyingSystems

0 stars 0 forks source link

To change the repository's name #1

Open 2222-42 opened 4 years ago

2222-42 commented 4 years ago

why

In this repository, I would collect some tips or method concerning TLA+, PlusCal and TLAPS. So, the name is some ridiculous.

what

To read the following paper:

and I will add the abstraction of the pdf.