👨🏻🏫 Add proof alias (label <=> name) (#693)
#112
The logs for this run have expired and are no longer available.
Loading
label <=> name) (#693)
#112