2021.07.27
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...")
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.