Figure out how to state outer_homo #75
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
2m 35s
deploy
7s