FunIs this.... part of the picture? 1 0 last commit 2026-07-24 SourceAdd to my stackDiscuss Share:AboutIs this.... part of the picture?LanguagesPython64.9%Lean19.6%TeX4.7%HTML3.3%Wolfram Language2.9%Julia2.8%Cuda1.5%PowerShell0.3%Contributors157FeaturesDiscussNo features listed.Comments ThemeGitHub LightGitHub Light High ContrastGitHub Light Protanopia & DeuteranopiaGitHub Light TritanopiaGitHub DarkGitHub Dark High ContrastGitHub Dark Protanopia & DeuteranopiaGitHub Dark TritanopiaGitHub Dark DimmedPreferred color schemeTransparent DarkNoBorder LightNoBorder DarkNoBorder GrayRStudio CobaltPurple DarkGruvboxGruvbox DarkGruvbox LightCatppuccin LatteCatppuccin FrappéCatppuccin MacchiatoCatppuccin MochaFroCustom (experimental)
