Back to pull request #128

Add `related_hetero_and_Proper` #609

Sign in to view logs

Triggered via pull request December 3, 2023 21:16

JasonGross

opened #128

JasonGross:related-for-abstraction

Status Success

Total duration 8m 13s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coq.yml

on: pull_request

Matrix: build