🍪 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.
FAQAboutBlog
Login
Sign up
GitDuck
Menu icon
GitDuck
AboutSecurityIntegrationsWe are hiring
Sign up

Metamath coding videos

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

Profile Picture@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#DjangoMore languages
All toolsChrome extensionTerminalIDE integrationsVS CodeIntelliJAndroid StudioWebStormPyCharmPhpStormGoLandRubyMineRiderCLionAppCodeDataGrip
AboutJobsPricingRoadmapChangelog
FAQSecurityTerms of ServicePrivacy Policy
BlogTwitterCommunityGitHub
GitDuck

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