This repository has been archived by the owner on Feb 29, 2024. It is now read-only.

1.0.4-2 add rule that C implies Zca, Zcf, Zcd #117

Triggered via push October 4, 2023 13:17

C_implication_rules

Status Success

Total duration 2m 21s

Artifacts 1

build-pdf.yml

on: push

Produced during runtime

Name	Size
Zc.pdf Expired	894 KB