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

Support lean 3.51.1#38

Closed

MithicSpirit wants to merge 4 commits into

mpedramfar:masterfrom

MithicSpirit:new_lean

Workflow runs completed with no jobs