George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)

George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)

shutage: yoyo yoyo_brobro: yoyo_brobro subscribed at Tier 1. They’ve subscribed for 6 months, currently on a 6 month streak! shutage: more coq Kreygasm equalizer_____: Hello form Russia vlntnstts: no way you are alive slow_manatee: oi bruv eax_ebx: Еееее бой hailstorm1422: 🃏 vossnorway800: What up vlntnstts: привет лол superman03: hola LaheyFPS: What’s today’s agenda? @georgehotz tonitcom: […]

Read More