Improve functionality for newer lean versions#39

Open

MithicSpirit wants to merge 7 commits intompedramfar:masterfrom MithicSpirit:download_lean

+115-103

Commits on Jun 11, 2023

Update lean-client-js-browser to fix browserfs
MithicSpirit
committed

Commits on Nov 15, 2023