lean-directory-browser
It is a windows folder explorer written in lean4 (using code-proxy).
Running project
- Build and copy code-proxy binaries to the Al subfolder of the output folder:
.lake/build/bin/Al
Code-proxy is available at Github. It requires version 0.2 .
- Build the project:
lake build
- Run:
cd .lake/build/bin
.\leandirectorybrowser.exe
Versioning
The versioning follows the following patterns:
- v(major).(minor) - for a new release
or
- v(major).(minor).(patch) - for a bug fix, refactoring or specification update only. This pattern is never used to release a new feature.
Major of 0 means that it is in the development stage not ready for production.
Branches for these are:
release/(major)/(minor)/main
or
release/(major)/(minor)/(patch)/main