This repository has been archived by the owner on Sep 5, 2022. It is now read-only.

covering check #28

Closed

dannypsnl opened this issue Sep 5, 2021 · 0 comments

Assignees

Labels

feature

Projects

simple theorem prover

Owner

dannypsnl commented Sep 5, 2021

We have to ensure a definition is covering(no paths get ignored).

dannypsnl added the feature label

dannypsnl assigned CYBAI and dannypsnl

dannypsnl added this to To do in simple theorem prover

dannypsnl closed this as completed

simple theorem prover automation moved this from To do to Done

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.