Closed septract closed 2 months ago
Creates a subdirectory negative-examples containing examples should always fail.
negative-examples
(In the other subdirectories of example-archive, proofs that fail represent true properties that cannot be established by CN for whatever reason).
example-archive
Creates a subdirectory
negative-examplescontaining examples should always fail.(In the other subdirectories of
example-archive, proofs that fail represent true properties that cannot be established by CN for whatever reason).