GitDuck may use cookies in order to provide its service and features. By continuing to browse the site you are agreeing to our use of cookies.Check our Privacy Policy for more information.

Teams FAQ About Blog

Login

Sign up

About

Sign up

Coq coding videos

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

@geohot ·9 months ago

#Coq #Metamath #Python

#Python #Swift #iOS #CSS #Frontend #Tailwind #Firestore #Firebase #PHP #C++#Tutorials #API #JSON #Haskell #Machine Learning #Rust #Java #Node.js #Kotlin #Android #Laravel #JavaScript #HTML #UIkit #AI #Xcode #Django More languages

GitDuck is an online meeting tool for developers.
GitDuck, Inc.

About Roadmap Changelog

FAQ Terms of Service Privacy Policy

Blog Twitter Slack GitHub