GitHub - rocq-archive/zchinese: A proof of the Chinese Remainder Lemma

rocq-archive / zchinese Public

A proof of the Chinese Remainder Lemma

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 38 Commits
.gitignore		.gitignore
Lci.v		Lci.v
Make		Make
Makefile		Makefile
Zgcd.v		Zgcd.v
Zstruct.v		Zstruct.v
description		description
extract.v		extract.v
groups.v		groups.v
main.ml		main.ml
misc.v		misc.v
rings.v		rings.v