Difference between revisions of "Daily Document/2021.08.25/Kevin Tung"
Jump to navigation
Jump to search
(Created page with "{{Activity}} ==Context and Goal== ==To-Do== ==Progress== * [https://github.com/pmer/tla-bin TLA tool] ==Conclusion==") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Activity}} | {{Activity | ||
|Date=2021-08-25 | |||
|Person=@KevinTung | |||
}} | |||
==Context and Goal== | ==Context and Goal== | ||
| Line 5: | Line 8: | ||
==Progress== | ==Progress== | ||
* [https://github.com/pmer/tla-bin TLA tool] | * [https://github.com/pmer/tla-bin TLA tool] | ||
==Conclusion== | ==Conclusion== | ||
[[Daily Document]] | |||