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