FunIs this.... part of the picture? 1 0 last commit 2026-07-24 SourceAdd to my stackDiscuss Share:AboutIs this.... part of the picture?LanguagesPython63.3%Lean19.6%TeX5.3%HTML3.2%Wolfram Language2.8%Julia2.7%PowerShell1.7%Cuda1.5%Batchfile0%Contributors159FeaturesDiscussNo 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)
