formal-math 410 79Apache-2.0 last commit 2026-10-27 SourceAdd to my stackDiscuss Share:LanguagesLean99.6%Python0.2%Ruby0.1%Shell0.1%Contributors61186421FeaturesDiscussNo 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)
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4)
