This repository was archived by the owner on Apr 16, 2026. It is now read-only.

Improve functionality for newer lean versions#39

Open

MithicSpirit wants to merge 7 commits into

mpedramfar:masterfrom

MithicSpirit:download_lean

Workflow runs completed with no jobs