Skip to content

Collapse NonLogical thunks in the logic monad.#21247

Merged
coqbot-app[bot] merged 2 commits into
rocq-prover:masterfrom
ppedrot:logic-monad-collapse-nonlogical
Jan 27, 2026
Merged

Collapse NonLogical thunks in the logic monad.#21247
coqbot-app[bot] merged 2 commits into
rocq-prover:masterfrom
ppedrot:logic-monad-collapse-nonlogical

Collapse NonLogical thunks in the logic monad.

dd3766e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.