Spaces:

Ray5th
/

Lean4-helper

Running

App Files Files Community

Lean4-helper / scripts /setup_lean.py

Commit History

Repo cleanup: dead code out, test isolation fix, real README

16fb4fc

p4r5kpftnp-cmd commited on 17 days ago