Skip to content
GitLab
Explore
Sign in
Include rule ACI_NORM
Include in the Alethe standard the rule ACI_NORM from CPC:
Original spec:
https://cvc5.github.io/docs-ci/docs-main/api/cpp/enums/proofrule.html#_CPPv4N4cvc59ProofRule8ACI_NORME
Mechanization:
https://github.com/cvc5/cvc5/blob/11f33df65d0bf630ed6a1ff5a18d119d1ff4dacd/proofs/eo/cpc/Cpc.eo#L344
To upload designs, you'll need to enable LFS and have an admin enable hashed storage.
More information