This repository was archived by the owner on Aug 24, 2024. It is now read-only.

fix: `print-paths` changed to `setup-file` in Lean v4.4.0#55

Merged

mhuisi merged 5 commits intoleanprover:mainfrom utensil:fix-print-path

Jan 10, 2024