🍪 GitDuck uses cookies in order to provide some basic features. By continuing to browse the site you are agreeing to our use of cookies.Check our Privacy Policy for more information.

FAQ About Blog

Login

Sign up

About Security Integrations We are hiring

Sign up

Metamath coding videos

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

@geohot ·2 years 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

All tools Chrome extension TerminalIDE integrationsVS Code IntelliJ Android Studio WebStorm PyCharm PhpStorm GoLand RubyMine Rider CLion AppCode DataGrip

About Jobs Pricing Roadmap Changelog

FAQ Security Terms of Service Privacy Policy

Blog Twitter Community GitHub

Video chat and real-time collaboration tool for software teams.
GitDuck, Inc.