2021.07.27

From PKC
Revision as of 16:04, 26 July 2021 by KevinTung (talk | contribs) (Created page with "{{Activity |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...")
(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.
  • Documentation and report progress.

Progress

Conclusion

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