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 #118

Triggered via pull request October 4, 2023 13:18

opened #227

C_implication_rules

Status Success

Total duration 2m 2s

Artifacts 1

build-pdf.yml

on: pull_request

Produced during runtime

Name	Size
Zc.pdf Expired	894 KB