CASPER STANDUP 242 AUG 1 2022 This week's Casper Standup covered a reformulation of the OSLF proof rules in terms of the native type theory construction of Williams and Stay. https://youtu.be/6GttiAW5Exc https://t.co/ZBXZIkrxM1
CASPER STANDUP 242 2022 年 8 月 1 日本周的 Casper Standup 涵盖了根据 Williams 和 Stay 的原生类型理论构造对 OSLF 证明规则的重新表述。 https://youtu.be/6GttiAW5Exc https://t.co/ZBXZIkrxM1