CASPER STANDUP 215 Jan 17 2022 Implementing OSLF - follow up from last week - intuistic linear logic https://youtu.be/nRCSkkLRjGc https://t.co/BX4bEf3VJ7
CASPER STANDUP 215 2022年1月17日实施OSLF-上周的后续行动-直觉线性逻辑https://youtu.be/nRCSkkLRjGc https://t.co/BX4bEf3VJ7