The Rocq Prover, version 9.3.0
command: coqc -q step3_possible_needs_cause.v
exit code: 0
sha256(step3_possible_needs_cause.v): 236214eea6fca8345cf992239bb0911e8ed9a404fc8b5f71e5b7e64790d4daa0
date: 2026-10-01

--- output ---
Axioms:
classic : forall P : Prop, P \/ ~ P