Fix LeanInk for print-paths #85
utensil
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
lean4.yml
on: push
Lean 4 Examples
3m 0s
deploy
7s