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

--- output ---
Closed under the global context