Difference between revisions of "Activity:0716"

From PKC
Jump to navigation Jump to search
 
(4 intermediate revisions by the same user not shown)
Line 1: Line 1:
{{Activity
{{Activity
|Date=2021,07,16
|Date=2021,07,16
|Person=Kevin
|Person=@KevinTung
}}
}}


Line 7: Line 7:
* [[Study Formal methods for system specification]]
* [[Study Formal methods for system specification]]
* [[Study Lambda Calculus]]
* [[Study Lambda Calculus]]
[[Category:Daily Document]]

Latest revision as of 01:38, 19 July 2021