3:53Visualization of Depgraphs for Lean Blueprint ProjectsComputer-Aided Reasoning in Mathematics190 viewsView & Download
7:19Visualizing module dependency graph of an elm project with KiteErkal Selman1.1K viewsView & Download
26:33David Ledvinka - Formalization of Brownian Motion in Lean (Lean Together 2026)leanprover community561 viewsView & Download
20:03Lean Dependency Management: Reduce Project Delivery Chaos with GraphsNeo4j890 viewsView & Download
20:28I Built This Entire 3D Location with AI - And It's Not SlopStefan 3D AI7.3K viewsView & Download
14:42Epipolar Geometry | Uncalibrated StereoFirst Principles of Computer Vision115.9K viewsView & Download
8:03Build A Semantic Segmentation Model in 8 Minutes with DeepLab V3Datature5.7K viewsView & Download