Brandon Wilson presenting at Dyalog '24
Brandon Wilson presenting at Dyalog '24
Brandon Wilson presenting at Dyalog '24
Brandon Wilson presenting at Dyalog '24
At #Dyalog24, Brandon Wilson is demonstrating how APL can handle large mathematical databases like Metamath, offering a unique solution for efficient proof verification. But who will ask the questions at the end? 😱 #APL #ProofVerification #DataParallel #Metamath
0
0
0
0