2021.07.27

From PKC

Revision as of 16:06, 26 July 2021 by KevinTung (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Date	2021-07-27
Person	@KevinTung

Context and Goal

Found the containerized application of TLA and K-framework.
2021.07.26

To-Do

Install TLA, K-Framework.
Organize Meeting:2021.07.26/Ben,Kevin
Documentation and report progress.

Progress

Conclusion

Retrieved from "https://pkc.pub/index.php?title=2021.07.27&oldid=7395"