Metamath Proof Explorer (set.mm) contributions visualized with Gource through 2019-10-04 Published 2019-10-06 Download video MP4 360p Download video MP4 720p Recommendations 00:55 Metamath book - the unboxing! 18:36 Introduction to Metamath and mmj2 22:12 25 Math explainers you may enjoy | SoME3 results 35:26 Ron Vale (UCSF, HHMI) 1: Molecular Motor Proteins 14:03 Introduction to the Autotools, part 1 02:55 Why and how to make notes for studying maths 14:25 Metamath Proof Explorer: A Modern Principia Mathematica 31:59 Lessons from Metamath 3:49:31 SolidWorks RE Tutorial # 335: Beginner Tractor complete video 00:52 ACTUAL photo of an atom 52:07 What Did James Webb Really See At The Beginning of Time? 07:34 Faster Than We Thought Possible - Nobel Prize in Physics 2023 Explained 11:06 How MASSIVE can a STAR get? 19:16 What Makes Each of the Slavic Languages Unique (Russian, Polish, Ukrainian, and more!) 17:23 James Webb Telescope Just Revealed First Ever, Real Image Of Oumuamua 12:48 Introduction to the Autotools, part 2 30:42 Converting a System 11A MPU into a System 11-nothing MPU for use in a High Speed Pinball 41:38 Building an Obsolete Prototype AVR Replacement for a Honda EM500 1:35:43 Thelonious Monk - Live Zurich 1964 Similar videos 24:43 Formalizing Geometric Proof Schwabhäuser 4.6 in the Metamath Proof Explorer (using mmj2) 35:02 Metamath Zero (MM0/MM1) tutorial 27:06 Marcel Ertel (Tübingen): Independence and truth-value determinacy in set theory 33:29 Metamath Zero: Designing a Theorem Prover Prover 16:40 Metamath 03:39 Exploring Metamath dataset in Sophize 10:32 Creating functions in Metamath 00:55 Homogeneous ODEs in under 1 minute 00:54 Gource Flawless - 06.10.2019 02:23 Metamath Statement Screen Demo 51:33 Mario Carneiro: Metamath Zero, or: How to Verify a Verifier 01:29 Development history of the CERFACS code AVBP rendered with Gource. 01:45 Description Theory The Metamathematics of Design 18:17 DataTech19 Talk: Ben Moews - Cosmology & beyond: Solutions for high-dimensional parameter estimation 5:10:16 George Hotz | Programming | twitchcoq : pt 3, mostly I want to complain about metamath 26:02 Arithmetic in Metamath, Case Study: Bertrand's Postulate (CICM 2015) More results