Skip to content

Move proofs of reducibility to theories/LogicalRelation/Introductions.#66

Merged
kyoDralliam merged 4 commits intoCoqHott:coq-8.20from ppedrot:move-logrel-introJan 31, 2025

Commits

Commits on Jan 28, 2025