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

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