Browsing the "parser" Tag

George Hotz | Programming | obscure languages sunday : LEAN metamath parser

November 25th, 2019 📆 | 5990 Views ⚑

Date of stream 24 Nov 2019. Live-stream chat added as Subtitles/CC – English (Twitch Chat). Stream title: obscure languages sunday

Tagged with: