George Hotz | Programming | twitchcoq, writing a language we can prove things in

xNoury: oh hello esence: yo xNoury: how are you doing? takkeo: Yo turboooooo1: Hey George knilecrack: wsupppp Shanmukhosiris: hiiiiiii knilecrack: 😀 SlayerX1: HeyGuys Equalizer_olo: Привет