No results found

LeanDirectoryBrowser

It is a windows folder explorer written in lean4 (using code-proxy).
Displaying 1-1 of 1 versions of LeanDirectoryBrowser
Sort by
  1. 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