Flakes
Categories
Options
Packages
Sign in
MyNixOS
packages
vscode-extensions
jroesch
package-set
vscode-extensions.jroesch
Showing entries 1-1 out of 1.
vscode-extension-jroesch-lean
Nix package
applications/editors/vscode
Lean 3 language support for VS Code
Previous
1
Next