Reservoir
No results found
All Packages
LeanDirectoryBrowser
It is a windows folder explorer written in lean4 (using code-proxy).
Readme
Versions (1)
Displaying
1-1
of
1
versions of
LeanDirectoryBrowser
Sort by
Date
Not a part of any version track.
615d35f
19 hours ago
Released on February 2, 2025 at 10:45:04PM
Commit 615d35f fails to build on leanprover/lean4:stable
stable
1
20