DyalogAt #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? 😱
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? 😱