master · x86_64-linux · 9a32621949da · generated 2026-10-09T00:54:19Z
102,196packages 38,710unmaintained (37.9%) 41,823single maintainer (40.9%) 9,522team only (9.3%) 8,403broken 12,567outdated (12.3%) 4,913maintainers 85teams 206setup hooks (hidden)

alexstaeding Alexander Städing

github.com/alexstaeding · maintains 1 packages (1 directly), sole maintainer of 1, member of 0 teams

Reset

1 packages

Package ▲ Version Maintainers # Teams Deps Used by Used by (transitive) Status
vscode-extensions.leanprover.lean4
This extension provides VS Code support for the Lean 4 theorem prover and programming language
0.0.240
alexstaeding
 1
2 0 0 single