formal-webA malleable and verifiable Web engine 33 2MIT last commit 2026-10-29 SourceAdd to my stackDiscuss Share:AboutA malleable and verifiable Web engineLanguagesRust91.1%HTML5.6%JavaScript1.4%TLA1.1%Shell0.3%C0.2%Swift0.2%Objective-C0.1%Contributors49931081FeaturesDiscussNo 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)PlatformsWebInterfaceWebInstallnpmCargo
