pawelsbergLeanDirectoryBrowser

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.
    5600841
    3 months ago
    Released on February 1, 2026 at 2:53:31PM
    Commit 5600841 builds on its old leanprover/lean4:stable
    stable
    3.0 MB Build archive size: 2976706 bytes.