Similar repositories to uds-psl/constructive-and-synthetic-reducibility-in-coq: