add primality-related results from Goedel project

thery · Sep 29, 2022 · f8b13d7 · f8b13d7
1 parent 6584dda
commit f8b13d7
Show file tree

Hide file tree

Showing 2 changed files with 1,214 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -2,6 +2,7 @@
 
 src/Coqprime/Tactic/Tactic.v
 src/Coqprime/N/NatAux.v
+src/Coqprime/N/ChineseRem.v
 src/Coqprime/List/Iterator.v
 src/Coqprime/List/ListAux.v
 src/Coqprime/List/Permutation.v