type check equality injectivity axiom #3397

Triggered via push April 20, 2024 18:57

master

Status Success

Total duration 36m 44s

Artifacts 2

coverage.yml

on: push

Produced during runtime

Name	Size
coverage-2024-04-20 Expired	51.5 KB
coverage-details-2024-04-20 Expired	18.4 MB