George Hotz | Programming | twitchcoq : pt 3, mostly I want to complain about metamath

Date of stream 3 Nov 2019.
Live-stream chat added as Subtitles/CC – English (Twitch Chat).
Stream title: twitchcoq : pt 3, mostly I want to complain about metamath

Video archive:
https://youtube.com/commaaiarchive/playlists
Source files:
https://github.com/geohot/twitchcoq
Tools:
https://en.wikipedia.org/wiki/Metamath
http://us.metamath.org/downloads/metamath.pdf
Follow for notifications:
https://twitch.tv/georgehotz
Subscribe to support:
https://twitch.tv/products/tomcr00s3_3000
https://twitch.tv/products/georgehotz_3000

We archive George Hotz videos for fun.
Follow for notifications:
https://twitter.com/commaaiarchive

We are not affiliated with comma.ai.
Official communication channels:
https://comma.ai
https://twitter.com/comma_ai
https://pscp.tv/comma_ai
https://youtube.com/commaai
https://github.com/commaai
https://discord.comma.ai
https://community.comma.ai
https://comma.ai/jobs
https://comma.ai/shop

Post Author: hatefull