2021.07.20
Revision as of 06:41, 20 July 2021 by KevinTung (talk | contribs) (Created page with "{{Activity |Date=2021-07-20 |Person=@KevinTung }} ==Context and Goal== ==To-Do== ==Progress== ==Conclusion== BOOK:A NATURAL PROOF SYSTEM FOR NATURAL LANGUAGE")