CASPER STANDUP 242 AUG 1 2022 This week's Casper Standup covered a reformulation of the OSLF proof rules in terms of the native
07 Aug 2022, 23:16
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.
Same news in other sources
2
07 Aug 2022, 23:23
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.
CASPER STANDUP 242 AUG 1 2022 This week's Casper Standup covered a reformulation of the OSLF proof rules in terms of the native
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
07 Aug 2022, 23:16
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.
CASPER STANDUP 242 AUG 1 2022 This week's Casper Standup covered a reformulation of the OSLF proof rules in terms of the native
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://t.co/FDMXIW8QkF