معرفی شرکت ها
coq-8.16.1-3.fc38.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | coq |
| نام فایل بسته | coq-8.16.1-3.fc38.aarch64.rpm |
| نسخه بسته | 8.16.1 |
| انتشار بسته | 3.fc38 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Tue 24 Jan 2023 07 |
| هاست سازنده | buildvm-a64-11.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 41M |
| حجم نصب | 290.227M |
Coq is a formal proof management system. It provides a formal language
to write mathematical definitions, executable algorithms and theorems
together with an environment for semi-interactive development of
machine-checked proofs.
Typical applications include the certification of properties of
programming languages (e.g. the CompCert compiler certification project,
or the Bedrock verified low-level programming library), the formalization
of mathematics (e.g. the full formalization of the Feit-Thompson theorem
or homotopy type theory) and teaching.
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| = 8.16.1-3.fc38 | coq-core(aarch-64) |
| - | csdp-tools |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = a742212da585b925999bb1e9c57f8886 | ocaml(CList) |
| = cbcf10800400dde7f75cbc0cc6a0a739 | ocaml(CMap) |
| = 98ddda2b8661651d0ac1c4d2f3adc78a | ocaml(CPrimitives) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = f53fe8692b6d16ecf125c5433c67ee1d | ocaml(CString) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = 49342884abaa82c6937e426ec2bd2f58 | ocaml(NCoq_Arith_Arith_prebase) |
| = 997ba8f212a5bebaa85e8c8fa5235e0a | ocaml(NCoq_Arith_Compare_dec) |
| = edee5881ef17d727e3ee1030d7a1e5d2 | ocaml(NCoq_Arith_Factorial) |
| = 3922c4f429b4350bba2dd2dab23b5b5a | ocaml(NCoq_Arith_PeanoNat) |
| = 5e62220a2676a6e092dc1c18574d3f48 | ocaml(NCoq_Arith_Wf_nat) |
| = 0804aef187ec6ef5a4c6bc88c0a4973b | ocaml(NCoq_Bool_Bool) |
| = 54220cac6fb7354a8dbbffda866f5940 | ocaml(NCoq_Bool_BoolOrder) |
| = fc9b453d17fb7684a52a0ace0e56fbf7 | ocaml(NCoq_Bool_Bvector) |
| = d2613c6f687e37311723c347656b1afa | ocaml(NCoq_Bool_Sumbool) |
| = a8c759a45872fda09bd8d6a7d20f3170 | ocaml(NCoq_Classes_CMorphisms) |
| = 1f0f476b8d631653e093903945599681 | ocaml(NCoq_Classes_CRelationClasses) |
| = d6a3e403e7cd504feb413907bf121f80 | ocaml(NCoq_Classes_DecidableClass) |
| = aae227cc334dd1bd565fb51d2bb4365e | ocaml(NCoq_Classes_Equivalence) |
| = 6b266a73e315469f08ebc542bf8746e8 | ocaml(NCoq_Classes_Morphisms) |
| = c52138961674f9ee5fab86bc21830c4a | ocaml(NCoq_Classes_Morphisms_Prop) |
| = 03470792223f41943cca775a8537bcad | ocaml(NCoq_Classes_RelationClasses) |
| = f56e6372a11e290946026753ff39dde7 | ocaml(NCoq_Classes_SetoidClass) |
| = e2a570ec40dbd39751d6f85886917a14 | ocaml(NCoq_FSets_FMapInterface) |
| = 9a5e5f319332f1aab08117fc52822560 | ocaml(NCoq_Floats_FloatClass) |
| = 4bf94eb06294927847fbdd30435cf03d | ocaml(NCoq_Floats_FloatOps) |
| = a74da887993f30bc7a27941ede275b23 | ocaml(NCoq_Floats_PrimFloat) |
| = 18edf3f67606ec5d149da16e9c2c1dcc | ocaml(NCoq_Floats_SpecFloat) |
| = f7b8b2a77f57051289c84af141c7d21c | ocaml(NCoq_Init_Byte) |
| = 7dff06490587ae72d8c480e28d0792c8 | ocaml(NCoq_Init_Datatypes) |
| = 0091886e0df87b48c1b71a630733d322 | ocaml(NCoq_Init_Decimal) |
| = 48f69a780f3ab731bfd5fd9892b611dc | ocaml(NCoq_Init_Hexadecimal) |
| = 8d49d9267163e6178eb2130b0afa5363 | ocaml(NCoq_Init_Logic) |
| = ba503b0fd72b1b323ac75b26585630aa | ocaml(NCoq_Init_Nat) |
| = cd525699ffce1c8a6f907027bb87d10f | ocaml(NCoq_Init_Number) |
| = 67f231ba5cf8725357b5682f1d4ed41b | ocaml(NCoq_Init_Peano) |
| = 6ee28c2862fc7fd46a5168a9f874140a | ocaml(NCoq_Init_Specif) |
| = 5bca515f37535f096c090facf9f2ee7b | ocaml(NCoq_Init_Wf) |
| = f0f59ccc11cabe932e06f5bc97cf054c | ocaml(NCoq_Lists_List) |
| = 4c2d0690a874a878009d7122515e2b63 | ocaml(NCoq_Lists_SetoidList) |
| = e7d3486bb835e4edb128aeeedc414830 | ocaml(NCoq_Lists_Streams) |
| = fd9e6b4245e8b82f89d80a2c83852eee | ocaml(NCoq_Logic_ConstructiveEpsilon) |
| = cb01f45645f851167b10efef33067529 | ocaml(NCoq_Logic_Decidable) |
| = 9ddc71244ad2d1c8b2204d60fcb69212 | ocaml(NCoq_Logic_Eqdep) |
| = d214109c633558ae24ed6a636bcdcd22 | ocaml(NCoq_Logic_EqdepFacts) |
| = 0ba000735a079834f92b399bf5c6143b | ocaml(NCoq_Logic_Eqdep_dec) |
| = 4e4ecd25a49ab58b0565ed201caf1cd5 | ocaml(NCoq_Logic_JMeq) |
| = cbb4321333f6c9f9eac38d1d38673c27 | ocaml(NCoq_Logic_WeakFan) |
| = d014d8a7617cce07faeac7a778ef66c6 | ocaml(NCoq_NArith_BinNat) |
| = 861eac66cbe479ec6d59bb9399b30705 | ocaml(NCoq_NArith_BinNatDef) |
| = f68e6acf6ffb202993bf722adf5f5260 | ocaml(NCoq_Numbers_BinNums) |
| = 2069f40d947cb704ed777599406be7e5 | ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) |
| = 61981e60c0329e999bba5dfedfe1de43 | ocaml(NCoq_Numbers_Cyclic_Abstract_CyclicAxioms) |
| = 2c8ca70685cab095f64a8b21b9d610f5 | ocaml(NCoq_Numbers_Cyclic_Abstract_DoubleType) |
| = b843720c003546d426946db84ece02a5 | ocaml(NCoq_Numbers_Cyclic_Int31_Cyclic31) |
| = c85ab2f3c1dc6a1df409ec8ab68702b5 | ocaml(NCoq_Numbers_Cyclic_Int31_Int31) |
| = b9d41742d320c6c2f551056563f84398 | ocaml(NCoq_Numbers_Cyclic_Int63_Cyclic63) |
| = cf3af728d29cb993618f0a2c51ef0c6d | ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) |
| = 2189ab6fe2ed8edefa46802f6be5277e | ocaml(NCoq_Numbers_Cyclic_Int63_Sint63) |
| = 682d2083bc134da2d0ac554274b220af | ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) |
| = 91137dff32bf5c39d1ec6bf589f5786f | ocaml(NCoq_Numbers_HexadecimalPos) |
| = 567a8354cd285d3669d47d582c454eca | ocaml(NCoq_PArith_BinPos) |
| = 819299f98ae3fdc97e4a9a2c9609ffae | ocaml(NCoq_Program_Basics) |
| = e89b31eaa6e00a18da0fbd5d08938402 | ocaml(NCoq_QArith_QArith_base) |
| = eed50b2ed3a616177acabc974e768d6e | ocaml(NCoq_QArith_QOrderedType) |
| = 4a3dc52bf2666912d7d251574a7b8367 | ocaml(NCoq_QArith_Qabs) |
| = 23fe056e5dc7ae47598d5521da407036 | ocaml(NCoq_QArith_Qcanon) |
| = 648dbc98464b2098597c04a9e931ceff | ocaml(NCoq_QArith_Qreduction) |
| = 2fb72114f3e44a32dda5cff025e63632 | ocaml(NCoq_Reals_Abstract_ConstructiveLimits) |
| = 1af6cfe7361e53cbefd8585dd6e92ca1 | ocaml(NCoq_Reals_Abstract_ConstructiveReals) |
| = e2188a8033d1f4d1170e5dbc286811db | ocaml(NCoq_Reals_Abstract_ConstructiveRealsMorphisms) |
| = b40922aa694cb517278c619534d861c9 | ocaml(NCoq_Reals_Alembert) |
| = db96dfd9037cc054c144d5b7e7724b5b | ocaml(NCoq_Reals_AltSeries) |
| = 629d1f458b48759caec73a706f83d53b | ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyAbs) |
| = 3bc9cae9c5f4257f9935585d0566e119 | ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) |
| = d0cfbe899abd4907c1c20c02ebd67b98 | ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) |
| = faca1334d95c4f6178ea3de59f5257bc | ocaml(NCoq_Reals_Cauchy_ConstructiveRcomplete) |
| = 416b35c7119a55b95616d5ab474212b9 | ocaml(NCoq_Reals_Cauchy_QExtra) |
| = e17d1e4cd82578c36d0c8b465e5d0fcc | ocaml(NCoq_Reals_RIneq) |
| = 6aa361ac8a81cb364da64db740903f5a | ocaml(NCoq_Reals_RList) |
| = 708c6e070e174eeb6ec0d4564c8be721 | ocaml(NCoq_Reals_ROrderedType) |
| = 0ef21d135ce5620dcdffd8943721e056 | ocaml(NCoq_Reals_R_sqrt) |
| = e958040ba45434481987ca8cfdaff7b5 | ocaml(NCoq_Reals_Ranalysis1) |
| = 100805e921460379ee4380a96a03e518 | ocaml(NCoq_Reals_Ratan) |
| = 8717e5ba29c58e18675aa9d4441687b9 | ocaml(NCoq_Reals_Raxioms) |
| = d7937acd1fa489b5786486500a1c33c7 | ocaml(NCoq_Reals_Rbasic_fun) |
| = f36e6fdcfa9a0e339578e20a9f5db7d3 | ocaml(NCoq_Reals_Rdefinitions) |
| = 29d5d0f3349fda456f1c7be7d24c36b5 | ocaml(NCoq_Reals_Rderiv) |
| = bee964dae118e2f605da619804d4e408 | ocaml(NCoq_Reals_Rfunctions) |
| = e13e9f5536e600cf34038d2d3634149c | ocaml(NCoq_Reals_RiemannInt_SF) |
| = c60549c7320370e9435726f8763b04e5 | ocaml(NCoq_Reals_Rlimit) |
| = 08d14df826ae8289b86b0107fb9c36d6 | ocaml(NCoq_Reals_Rpow_def) |
| = 49b9d6f896c5d393633c0f742c09e028 | ocaml(NCoq_Reals_Rseries) |
| = f42bf05072ae26906298ececd08c0f21 | ocaml(NCoq_Reals_Rsqrt_def) |
| = cfebd1793fcd5e7223927f5f72aa54ae | ocaml(NCoq_Reals_Rtrigo1) |
| = 0cd50fbd1981780e6c29fb9b7d4859c3 | ocaml(NCoq_Reals_Rtrigo_alt) |
| = c17a6892fc43af795a51e11b6790caaa | ocaml(NCoq_Reals_Rtrigo_def) |
| = c1ae23fc6d3a0c86eda15d3db1b1fd77 | ocaml(NCoq_Reals_Rtrigo_fun) |
| = 50d48e86dd918045ba6710f690346c4e | ocaml(NCoq_Relations_Relation_Definitions) |
| = cfda120d75e832c0544c107ddf3c3eb1 | ocaml(NCoq_Relations_Relation_Operators) |
| = ff4a727e569d978538a179c8c6991898 | ocaml(NCoq_Setoids_Setoid) |
| = 94d72af35048317e5310d349a7390161 | ocaml(NCoq_Sets_Ensembles) |
| = efb20ec5030ec69ea89d832fb21e2d83 | ocaml(NCoq_Sets_Multiset) |
| = c4bf842b691bc940dbbaf9696a89cc2e | ocaml(NCoq_Sets_Partial_Order) |
| = 4b13435e1f440c4f1399090902c0f00d | ocaml(NCoq_Sets_Relations_1) |
| = c52bb3c27d51f607fc47b32d9b0f9aa8 | ocaml(NCoq_Sets_Relations_2) |
| = f28afa798572c434d471848e21bd0214 | ocaml(NCoq_Sorting_Sorted) |
| = 0bca7db04fa384d075821f00d1369e7d | ocaml(NCoq_Strings_Ascii) |
| = 867fe0e1deb39f47a20d3015f90415bc | ocaml(NCoq_Strings_ByteVector) |
| = c97b72f9fb239d849b8b6b76ccee7c6f | ocaml(NCoq_Strings_String) |
| = e0aff994a78850cce6eb79165c994952 | ocaml(NCoq_Structures_GenericMinMax) |
| = 4ab95df53068615f3e927278ed1ff433 | ocaml(NCoq_Structures_OrderedType) |
| = 8422349fee20776a7d74a0fc37cd9353 | ocaml(NCoq_Structures_OrderedTypeEx) |
| = 59ce705e17fcd61a63e3bf5efcb6966c | ocaml(NCoq_Structures_OrdersEx) |
| = e653cee5a401486b918c1d13e4ee646c | ocaml(NCoq_Structures_OrdersTac) |
| = 8d193a819ec215c739e0ddb3eb67dac0 | ocaml(NCoq_Vectors_Fin) |
| = 8a037daf65f727aba5e0d9e9eadc52e4 | ocaml(NCoq_Vectors_Vector) |
| = 9f6d22a11bcb96c8600f9e25305c5e6c | ocaml(NCoq_Vectors_VectorDef) |
| = d009e51dbc856ed50a95419b1c65a06a | ocaml(NCoq_Vectors_VectorEq) |
| = 35943b2857fea55b68a994bc40682d1e | ocaml(NCoq_Vectors_VectorSpec) |
| = 75a2ff407fbbc12c0021cf14b6cb0f4a | ocaml(NCoq_ZArith_BinInt) |
| = 4334d3b5d9b98827dd666f7d25d45dad | ocaml(NCoq_ZArith_BinIntDef) |
| = 8f6609c4cddc091b35dbeb44eb492bb0 | ocaml(NCoq_ZArith_Wf_Z) |
| = 127ab251d986c70c3d6131d06396afd8 | ocaml(NCoq_ZArith_ZArith_dec) |
| = 3c79cf9f91dd9622e786c53f032964e0 | ocaml(NCoq_ZArith_Zbool) |
| = 7aa9245149ead8cb74f6a7976dd1bde3 | ocaml(NCoq_ZArith_Zdiv) |
| = 62d38b4a4e33dc0f927bb81a7f738a3e | ocaml(NCoq_ZArith_Zeven) |
| = 3b9faae094d27621078801e8113ec1bd | ocaml(NCoq_ZArith_Zgcd_alt) |
| = e6a528fc72a76ccc4ceb24d48ae0dfd1 | ocaml(NCoq_ZArith_Znat) |
| = 3d646f164f27da7269937b5e430e5b15 | ocaml(NCoq_ZArith_Znumtheory) |
| = b5f838424961c1897d441dd879a192ad | ocaml(NCoq_ZArith_Zorder) |
| = 2404fff785da3403be59e3b5070915a7 | ocaml(NCoq_ZArith_Zpower) |
| = f59efa605e94c6c6a387805183ba3a59 | ocaml(NCoq_btauto_Algebra) |
| = c2274f0e2d59fa311eae5de38381d732 | ocaml(NCoq_micromega_Env) |
| = ba209b2651056a06631de199570c6a4d | ocaml(NCoq_micromega_EnvRing) |
| = 1aeacddd96f15f4bba80a543c9a40ea9 | ocaml(NCoq_micromega_OrderedRing) |
| = 7983688063ea1596d273ca5321c46114 | ocaml(NCoq_micromega_Refl) |
| = e0f5d19410f0458864c6c271f5030cf1 | ocaml(NCoq_micromega_RingMicromega) |
| = d1f561c47b947f36cd4558d9ad780e4c | ocaml(NCoq_micromega_Tauto) |
| = d065bb685792ee63c45425b9802ea89a | ocaml(NCoq_micromega_VarMap) |
| = 4c772b46c407a3e367477f2fa5f9fb60 | ocaml(NCoq_micromega_ZifyClasses) |
| = fc2127684f336f037cd7dc0db49ca32e | ocaml(NCoq_micromega_ZifyInst) |
| = 1d6f8a67962446a9e709025bf1a389e7 | ocaml(NCoq_rtauto_Bintree) |
| = 645498cda84b7c19caf1df0a3f85f40c | ocaml(NCoq_setoid_ring_Algebra_syntax) |
| = 2af322c2b741c327817e63b894d38e93 | ocaml(NCoq_setoid_ring_BinList) |
| = 3231c462bed1e40e085edbbc8739d500 | ocaml(NCoq_setoid_ring_Cring) |
| = d530bcb9e138406957f2b24b7f3375bd | ocaml(NCoq_setoid_ring_InitialRing) |
| = 7096d7fb64d44579e54587acec6064d2 | ocaml(NCoq_setoid_ring_Integral_domain) |
| = 970e60f04284cc36c6b410f411965b26 | ocaml(NCoq_setoid_ring_Ncring) |
| = b46682ceb5677d622831d885ad110395 | ocaml(NCoq_setoid_ring_Ncring_initial) |
| = 58254210dd76156bfde249fb027c9036 | ocaml(NCoq_setoid_ring_Ncring_tac) |
| = f82809523aade7f5fc49d026b5a3fc39 | ocaml(NCoq_setoid_ring_Ring_polynom) |
| = 6b85b253533d9c96b7b96cbbf6e15a26 | ocaml(NCoq_setoid_ring_Ring_theory) |
| = fb3241557b7abaad975c01d312e227e2 | ocaml(NCoq_ssr_ssreflect) |
| = 53cb33ecb450d58190b51b3381120cbf | ocaml(NCoq_ssr_ssrfun) |
| = ecae1849f9c3d7b98cfe77319c2c8c70 | ocaml(NCoq_ssr_ssrunder) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = 79b0e9d3b6f7fed07eb3cc2abb961b91 | ocaml(Stdlib) |
| = 622d88fad859d0d0f019e691fc4fa865 | ocaml(Stdlib__Array) |
| = 994a14f10d5ae081663b52b790ee11d3 | ocaml(Stdlib__Bigarray) |
| = 4b09c9a6d0622bbf5a3829234b481822 | ocaml(Stdlib__Buffer) |
| = 4555217c759e89d65daa8f682eb09b35 | ocaml(Stdlib__Complex) |
| = 26845df28d19584687a38a1ab814c3f9 | ocaml(Stdlib__Either) |
| = b6edb97b685819e873481fe05723c8bc | ocaml(Stdlib__Format) |
| = a71ea5238030770647165f659f80b1ab | ocaml(Stdlib__Int32) |
| = 0fa5587c47baf16a06837c7dedfc2518 | ocaml(Stdlib__Int64) |
| = 01430d340c028322c7247031a874e355 | ocaml(Stdlib__Lazy) |
| = ee222542f6f8195441543b8b399b64b9 | ocaml(Stdlib__List) |
| = 978f82916b5a172c11d2b72719d85680 | ocaml(Stdlib__Map) |
| = 25794d29f7f4018768ea900e331a2bf3 | ocaml(Stdlib__Obj) |
| = b63511032211eae4b567ba313cd72962 | ocaml(Stdlib__Seq) |
| = 871d2ee2167ac9e7977fa13994cf4658 | ocaml(Stdlib__Set) |
| = 510a78f010f6c530a911189d7538d002 | ocaml(Stdlib__Stream) |
| = 097838f294457ecbb61ccbcf86cc6972 | ocaml(Stdlib__String) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = 84bb8ec8ae50f70acba86f5b72088b1c | ocaml(Unix) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| - | ocaml-findlib |
| = 0573444d7d158417dbd5f4f46081e73b | ocamlx(CamlinternalLazy) |
| = 81a4ff6960f354daf10d5ae73ba52e43 | ocamlx(NCoq_Arith_Arith_prebase) |
| = 7662f6e9cc125d0479d8472dafceef6c | ocamlx(NCoq_Arith_Compare_dec) |
| = c1ed4074794701c0de8627d543f9a42c | ocamlx(NCoq_Arith_Factorial) |
| = 45329762b8adf278295c6f273d9bfdbe | ocamlx(NCoq_Arith_PeanoNat) |
| = 03444c5cc49be04c834c6cfd44956937 | ocamlx(NCoq_Arith_Wf_nat) |
| = 1f993fa6a7728d4b28fa15bc4d731358 | ocamlx(NCoq_Bool_Bool) |
| = 3225b5cba06be812070ed33df3e39091 | ocamlx(NCoq_Bool_BoolOrder) |
| = e9987ca544d018da02e3d0af10c6da3a | ocamlx(NCoq_Bool_Bvector) |
| = 01794fc1d6e61beafa655d666eaf3413 | ocamlx(NCoq_Bool_Sumbool) |
| = e9362d06410931a6e7d14485a15d60ae | ocamlx(NCoq_Classes_CMorphisms) |
| = d8e1ffbee963b2fc4cd59a5ca44aa42e | ocamlx(NCoq_Classes_CRelationClasses) |
| = 21f377a9c40473ef6d3fc1b7221f5242 | ocamlx(NCoq_Classes_DecidableClass) |
| = a129b337ee9212319fc8cabbd0d8d330 | ocamlx(NCoq_Classes_Equivalence) |
| = 01cf8e2922f2a5371a5c0df4a577443e | ocamlx(NCoq_Classes_Morphisms) |
| = c0cf23e2dbd0d844ce7ffae520f7b6e5 | ocamlx(NCoq_Classes_Morphisms_Prop) |
| = 48fa17d9f99bd99d602c8199c87d749a | ocamlx(NCoq_Classes_RelationClasses) |
| = ac6add72b5630789de25e4273e8fe38f | ocamlx(NCoq_Classes_SetoidClass) |
| = 51a8902204593e8d0530f961887a8cfc | ocamlx(NCoq_FSets_FMapInterface) |
| = e2e479a308f866d3720f9d1b5c7bbab0 | ocamlx(NCoq_Floats_FloatClass) |
| = 2e0daa3c5f4d770e81cf3c3f94d3e99b | ocamlx(NCoq_Floats_FloatOps) |
| = 62868055fc2d71815d6aa07acebadb8c | ocamlx(NCoq_Floats_PrimFloat) |
| = 1d6265a0f1fddbe033396020738d33f7 | ocamlx(NCoq_Floats_SpecFloat) |
| = 6984c8ec2b67e22515464156aea27702 | ocamlx(NCoq_Init_Byte) |
| = 48bef1774c24de06f4788df1cc458a22 | ocamlx(NCoq_Init_Datatypes) |
| = 8f0fd8fc0b186567570bcc4ba05fba5e | ocamlx(NCoq_Init_Decimal) |
| = 9b1591bf4088ca3f8b2a1313cb9ce884 | ocamlx(NCoq_Init_Hexadecimal) |
| = 0f42f274405f8931bcd744b7479f9d9d | ocamlx(NCoq_Init_Logic) |
| = d1b22dbf125594d15c039763555e44fd | ocamlx(NCoq_Init_Nat) |
| = 4feb363caa4c9240e0ebcbaf91203856 | ocamlx(NCoq_Init_Number) |
| = 936218c3d5d1b29715be0703a1f8c140 | ocamlx(NCoq_Init_Peano) |
| = 3b73ff2cf90a49f6a96088e51cab2ae6 | ocamlx(NCoq_Init_Specif) |
| = 7b2d5d5e570fc76f5715cd683cca5609 | ocamlx(NCoq_Init_Wf) |
| = 1df58dc8f3254487ae4b572d841cab42 | ocamlx(NCoq_Lists_List) |
| = b67e3289aaafd5bb74fda02c7c21c2ca | ocamlx(NCoq_Lists_SetoidList) |
| = 02907b2a3a89ae063ec58311d4c7ea1e | ocamlx(NCoq_Lists_Streams) |
| = 8ebe690497b5ee4289e81ccd71e49fa1 | ocamlx(NCoq_Logic_ConstructiveEpsilon) |
| = c1a365e90043a251fb7e2dfc44697b2c | ocamlx(NCoq_Logic_Decidable) |
| = 9875d019d29b803962f7512fa3a0efad | ocamlx(NCoq_Logic_Eqdep) |
| = ce9b453e6a51253597fcf127f38000dc | ocamlx(NCoq_Logic_EqdepFacts) |
| = c5d8c45ab5bb22745757c99aa3d8dba7 | ocamlx(NCoq_Logic_Eqdep_dec) |
| = f834e9f6256d4b0a93e8926a607dd371 | ocamlx(NCoq_Logic_JMeq) |
| = 740bae944d78fbba1f3c09eec30c775e | ocamlx(NCoq_Logic_WeakFan) |
| = 7ba4416a677d16f71f4a1f8a524e4bac | ocamlx(NCoq_NArith_BinNat) |
| = 9a25309ee558df6882bdbc67e9706d44 | ocamlx(NCoq_NArith_BinNatDef) |
| = 8add6981da76a4e4049478832940e033 | ocamlx(NCoq_Numbers_BinNums) |
| = c1d6bf83fe3468be2f305d89803ad1fd | ocamlx(NCoq_Numbers_Cyclic_Abstract_CarryType) |
| = 17ce63599096461272dadefb68162134 | ocamlx(NCoq_Numbers_Cyclic_Abstract_CyclicAxioms) |
| = 2471c8c04c192214646c402a5e77fe2b | ocamlx(NCoq_Numbers_Cyclic_Abstract_DoubleType) |
| = b81d7b240e7b82e57261aaa262e41c4a | ocamlx(NCoq_Numbers_Cyclic_Int31_Cyclic31) |
| = 21b752a7d94c07c9bfe3673d9db493d7 | ocamlx(NCoq_Numbers_Cyclic_Int31_Int31) |
| = 751986616ab28cc3cf5f80ffc2140c49 | ocamlx(NCoq_Numbers_Cyclic_Int63_Cyclic63) |
| = 1e47089492eb25d5fb0d8b8dbf675d58 | ocamlx(NCoq_Numbers_Cyclic_Int63_PrimInt63) |
| = 271557738e64f4ee86a1e6b9bf22ffae | ocamlx(NCoq_Numbers_Cyclic_Int63_Sint63) |
| = 47d05ba228d69065a7baa05c4038d51e | ocamlx(NCoq_Numbers_Cyclic_Int63_Uint63) |
| = a6319aa15388ee6e79a15004bd5aa433 | ocamlx(NCoq_Numbers_HexadecimalPos) |
| = 3128d0965efc9c3922a2768691979019 | ocamlx(NCoq_PArith_BinPos) |
| = 7f73dd85461491d3ec08c31634b320dc | ocamlx(NCoq_Program_Basics) |
| = 59972d070274c26c613076141b8f5efd | ocamlx(NCoq_QArith_QArith_base) |
| = 40805945e1428ca3aee4b20e6d37fca1 | ocamlx(NCoq_QArith_QOrderedType) |
| = d82f3e529a0800c29db44f6d4407ed57 | ocamlx(NCoq_QArith_Qabs) |
| = 52833736e6ef49ec44e1d6ef813d3428 | ocamlx(NCoq_QArith_Qcanon) |
| = b17c7b8860f1a3b33185f5ad22d01224 | ocamlx(NCoq_QArith_Qreduction) |
| = fd09d002d197d0d93059c0556c1fc92a | ocamlx(NCoq_Reals_Abstract_ConstructiveLimits) |
| = ec4f7bfbb0cab0e8ccb67e983c225179 | ocamlx(NCoq_Reals_Abstract_ConstructiveReals) |
| = 9a688ced14abafebd0934fc249f3e97e | ocamlx(NCoq_Reals_Alembert) |
| = 1c446b776c391c503e038d736639e610 | ocamlx(NCoq_Reals_AltSeries) |
| = 2256f04721621bf551467e254f6bc7dc | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyAbs) |
| = 9a7cd1b3084d5a4e60c495e549ae269b | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyReals) |
| = 91b706d00102dc6400d9d38df2e9e39f | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) |
| = f5b08c482636289437235ecac0dcf319 | ocamlx(NCoq_Reals_Cauchy_ConstructiveRcomplete) |
| = 07460aef25252a66602c4bf73889e171 | ocamlx(NCoq_Reals_Cauchy_QExtra) |
| = be7bf7b7f9876ec3e738e7733fbae5e5 | ocamlx(NCoq_Reals_RIneq) |
| = 31f65d54810a1380fb5cc801022aa34b | ocamlx(NCoq_Reals_RList) |
| = d78f0158a45f4ff4635909eac21e1cfe | ocamlx(NCoq_Reals_ROrderedType) |
| = 5c48034ee4ffa23c88a0ab73e8468e47 | ocamlx(NCoq_Reals_R_sqrt) |
| = 5f31b672f247e208983cc8a07d744a5f | ocamlx(NCoq_Reals_Ranalysis1) |
| = 8e3838f78bdb87c67a95a57bccdacdce | ocamlx(NCoq_Reals_Ratan) |
| = 82b1fbaea58e389fb323156e10c1daa7 | ocamlx(NCoq_Reals_Raxioms) |
| = b5bacab41ebee12e582641208b3804c2 | ocamlx(NCoq_Reals_Rbasic_fun) |
| = 6250c86ce1ae948d89e2d38750933a81 | ocamlx(NCoq_Reals_Rdefinitions) |
| = e8243b62b89e42f21ca87e82416c7f6c | ocamlx(NCoq_Reals_Rderiv) |
| = c40c84e1b8310839b0ec2594aefb4af0 | ocamlx(NCoq_Reals_Rfunctions) |
| = 11f20dbeb56d7e66690c24f2e0373bb6 | ocamlx(NCoq_Reals_RiemannInt_SF) |
| = 7547514c6635b760ed5959a54dc008c0 | ocamlx(NCoq_Reals_Rlimit) |
| = d85fd81b7617041d2925146d6219cca6 | ocamlx(NCoq_Reals_Rpow_def) |
| = ec6813775c4d6634dc7b414a78a3869e | ocamlx(NCoq_Reals_Rseries) |
| = 5a7cd1cefe1bf4fb81cc624ecce228fc | ocamlx(NCoq_Reals_Rsqrt_def) |
| = a8da13a4d98242f199d7acb967799511 | ocamlx(NCoq_Reals_Rtrigo1) |
| = 9b8f76dd7b9ff6f05613a1114dd98fb3 | ocamlx(NCoq_Reals_Rtrigo_alt) |
| = b20290a45591f8c75fa0bbef86e285a9 | ocamlx(NCoq_Reals_Rtrigo_def) |
| = 269c6301d59a49eefe09854eaf82a4cf | ocamlx(NCoq_Reals_Rtrigo_fun) |
| = 75098338c60af3e61fc91b0f081d9f75 | ocamlx(NCoq_Relations_Relation_Definitions) |
| = 5dae909141fd7e2e2eb7c178ea423318 | ocamlx(NCoq_Relations_Relation_Operators) |
| = 49ffba28ed0dfed4c8ba48bf24611baf | ocamlx(NCoq_Setoids_Setoid) |
| = 4f9fcdafb0bc44fe4c3e6a1568da4f60 | ocamlx(NCoq_Sets_Ensembles) |
| = 5797506bf1640140d4ccefce869063e7 | ocamlx(NCoq_Sets_Multiset) |
| = d0afade2877591cd16bb34b4f623cadd | ocamlx(NCoq_Sets_Partial_Order) |
| = cc7673c380548bdfba9aeda108b1d55b | ocamlx(NCoq_Sets_Relations_1) |
| = a387a5467b7eefd9813ed76c43129821 | ocamlx(NCoq_Sets_Relations_2) |
| = 8b0e4d09ef29650243abf7c0bc93f92f | ocamlx(NCoq_Sorting_Sorted) |
| = d00537e6b1d5a0a1b61c7a2d7c161899 | ocamlx(NCoq_Strings_Ascii) |
| = 27641592cfc2e1119454359e78869bd8 | ocamlx(NCoq_Strings_ByteVector) |
| = 96a152ddfdd74d599e33b24652c9d2a2 | ocamlx(NCoq_Strings_String) |
| = 69606eca62017a4e1cc45543bea3d6f0 | ocamlx(NCoq_Structures_GenericMinMax) |
| = ed10b4050fb45c9c38f26cba16823121 | ocamlx(NCoq_Structures_OrderedType) |
| = b79aac476edf259ed1253e002bf62907 | ocamlx(NCoq_Structures_OrderedTypeEx) |
| = 784df8ddbfb220ed625cc620d0f6c54f | ocamlx(NCoq_Structures_OrdersEx) |
| = d9f211d7f8fb842be81979d8e175ee37 | ocamlx(NCoq_Vectors_Fin) |
| = 6bd28d1273c8d7f33e3f59a1207049ea | ocamlx(NCoq_Vectors_Vector) |
| = 2c9dbddcff004a23fa4d336f13b8ab08 | ocamlx(NCoq_Vectors_VectorDef) |
| = 01e45de2f943e86f657d4571537d452f | ocamlx(NCoq_Vectors_VectorEq) |
| = a6aa862ed8c759008581029ca01e617c | ocamlx(NCoq_Vectors_VectorSpec) |
| = beb16bfad8352a59c2e71b3805cd02ee | ocamlx(NCoq_ZArith_BinInt) |
| = 71a9b559330273c334afbdf3d9291a61 | ocamlx(NCoq_ZArith_BinIntDef) |
| = aaac379255ca49098c23eb4cf42c18cc | ocamlx(NCoq_ZArith_Wf_Z) |
| = c400cd47f09d60e1acc1c6d92923b094 | ocamlx(NCoq_ZArith_ZArith_dec) |
| = b987e292cf3ccb13995721ccf9216174 | ocamlx(NCoq_ZArith_Zbool) |
| = 6775c8456f7d73351988b73b0b7cbe68 | ocamlx(NCoq_ZArith_Zdiv) |
| = 34b74a95da2e19c3cce3970edf4610ae | ocamlx(NCoq_ZArith_Zeven) |
| = 635ce9486cff8abac77bf2c2a688496a | ocamlx(NCoq_ZArith_Zgcd_alt) |
| = 0a078c1237546a542de512d1347f0ed0 | ocamlx(NCoq_ZArith_Znat) |
| = 61b83dfdd6202c113665e5e5bb55ff76 | ocamlx(NCoq_ZArith_Znumtheory) |
| = 7b6e34c0a8d2877f767a39355a236b90 | ocamlx(NCoq_ZArith_Zorder) |
| = a07754735f4ae25357c27b5f311f1e95 | ocamlx(NCoq_ZArith_Zpower) |
| = 63da5aea7534699686d7ba7c3a5ee895 | ocamlx(NCoq_btauto_Algebra) |
| = 0291f3553e77a8e99d87568015c168d7 | ocamlx(NCoq_micromega_Env) |
| = 75a619148d51684c38f5c98c6ec8997f | ocamlx(NCoq_micromega_EnvRing) |
| = b31a1d07b9e068483c18bb3fa5f6efa4 | ocamlx(NCoq_micromega_OrderedRing) |
| = 75d40865f0e42ecb7269faa96574384a | ocamlx(NCoq_micromega_Refl) |
| = 1d091b39977b7b36c34f33c9c46cf18c | ocamlx(NCoq_micromega_RingMicromega) |
| = 3c0cde2d1dd2593c1ca22e9850e9b3c5 | ocamlx(NCoq_micromega_Tauto) |
| = e1854f0c8057c419635b19b16d709035 | ocamlx(NCoq_micromega_ZifyClasses) |
| = 2eb09f630a7300ec65b0a7460f803164 | ocamlx(NCoq_micromega_ZifyInst) |
| = 33b7185d071b6fc7a195478bbde741e4 | ocamlx(NCoq_rtauto_Bintree) |
| = d606481c3bdd95744d07f5ee0077b0b7 | ocamlx(NCoq_setoid_ring_Algebra_syntax) |
| = 0383468c217c2d4fc7143f7f630dc896 | ocamlx(NCoq_setoid_ring_BinList) |
| = 05c41a9e8023b6e6dc95d50790a72116 | ocamlx(NCoq_setoid_ring_Cring) |
| = 58d3bf0e022df75dcdc081e00510a751 | ocamlx(NCoq_setoid_ring_InitialRing) |
| = cf52db31d77293ea65431b6d86280f5c | ocamlx(NCoq_setoid_ring_Integral_domain) |
| = 0987c9dae2163bd24b0c3a04651aa571 | ocamlx(NCoq_setoid_ring_Ncring) |
| = 8f14914622fce3bf94e29ff7c1241526 | ocamlx(NCoq_setoid_ring_Ncring_initial) |
| = be32b068f79a76cec9cb8b746c0dac29 | ocamlx(NCoq_setoid_ring_Ncring_tac) |
| = 0ecaee9059a308ce7bc74d4dd8abe59c | ocamlx(NCoq_setoid_ring_Ring_polynom) |
| = 37bb2d33a0894c0938204f4327482c2a | ocamlx(NCoq_setoid_ring_Ring_theory) |
| = 3f88ba486c4b334b5bcfd254da185d35 | ocamlx(NCoq_ssr_ssreflect) |
| = a8f833b44bbf152a9096698cd60ce092 | ocamlx(NCoq_ssr_ssrfun) |
| = 293019e76246f0d4104698ddfe4c84b2 | ocamlx(NCoq_ssr_ssrunder) |
| = 29fc6b4fd90dc91235156e20d0575996 | ocamlx(Stdlib) |
| - | rtld(GNU_HASH) |
| - | texlive-base |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.16.1-3.fc38 | coq |
| = 8.16.1-3.fc38 | coq(aarch-64) |
| = 7c2b744bdd8021b85691d7d1d2ea737d | ocaml(NCoq_Arith_Arith) |
| = 7558eeb8a03dae0fbc18bf9fd6fd45fb | ocaml(NCoq_Arith_Arith_base) |
| = 49342884abaa82c6937e426ec2bd2f58 | ocaml(NCoq_Arith_Arith_prebase) |
| = 21dc21bbcb6493bc158b428f06c04538 | ocaml(NCoq_Arith_Between) |
| = 58d77d2357a5d0e5b233d720b2628711 | ocaml(NCoq_Arith_Bool_nat) |
| = fcf15370ed40d161c81d7e7875e550c0 | ocaml(NCoq_Arith_Cantor) |
| = 17dcc675fad24c601ec9200f6ceac8ae | ocaml(NCoq_Arith_Compare) |
| = 997ba8f212a5bebaa85e8c8fa5235e0a | ocaml(NCoq_Arith_Compare_dec) |
| = a006fd6a8142f554c41371bc0bddb9c1 | ocaml(NCoq_Arith_Div2) |
| = aa69cc41601d1f1791eb9a802ff8ee40 | ocaml(NCoq_Arith_EqNat) |
| = 52b7b82c18619ace45c23aa1b13f6e24 | ocaml(NCoq_Arith_Euclid) |
| = 1bbc7fa724648cfe636abfcae5af0790 | ocaml(NCoq_Arith_Even) |
| = edee5881ef17d727e3ee1030d7a1e5d2 | ocaml(NCoq_Arith_Factorial) |
| = 3dd38f81420e8033f3a24e04d0bde3b1 | ocaml(NCoq_Arith_Gt) |
| = 30aafcc60ae00bd536c46656bda8ae92 | ocaml(NCoq_Arith_Le) |
| = ebb9340d30f8cf0f290660355c36c5d9 | ocaml(NCoq_Arith_Lt) |
| = 998ae6a8f2817202e1090ef55c64a382 | ocaml(NCoq_Arith_Max) |
| = a21ca56d3c2b47b9034b9ba089545bca | ocaml(NCoq_Arith_Min) |
| = 6c715c3bfbe333b4156ce69c1ae4ab44 | ocaml(NCoq_Arith_Minus) |
| = 4b0b6b08842b219ce0fe3b22239731d2 | ocaml(NCoq_Arith_Mult) |
| = 3922c4f429b4350bba2dd2dab23b5b5a | ocaml(NCoq_Arith_PeanoNat) |
| = c31ab2ddcdedf284cee257213c45e394 | ocaml(NCoq_Arith_Peano_dec) |
| = 3e1bbae36db000f53d2e31a0db7d6ee9 | ocaml(NCoq_Arith_Plus) |
| = 5e62220a2676a6e092dc1c18574d3f48 | ocaml(NCoq_Arith_Wf_nat) |
| = 9477b9a0fd7ab438d471b2cc3e6183b6 | ocaml(NCoq_Array_PArray) |
| = 0804aef187ec6ef5a4c6bc88c0a4973b | ocaml(NCoq_Bool_Bool) |
| = d7666e40b067b8870319eeb391fddc9d | ocaml(NCoq_Bool_BoolEq) |
| = 54220cac6fb7354a8dbbffda866f5940 | ocaml(NCoq_Bool_BoolOrder) |
| = fc9b453d17fb7684a52a0ace0e56fbf7 | ocaml(NCoq_Bool_Bvector) |
| = 96f0889a75004a2b1de6c0009dcef3a6 | ocaml(NCoq_Bool_DecBool) |
| = 269d0e15235682866a772edd1b1aa543 | ocaml(NCoq_Bool_IfProp) |
| = d2613c6f687e37311723c347656b1afa | ocaml(NCoq_Bool_Sumbool) |
| = beed76898de56ecfbf2af9bdff62f580 | ocaml(NCoq_Bool_Zerob) |
| = c2a65d0250a69acf4c33985fc283c8bb | ocaml(NCoq_Classes_CEquivalence) |
| = a8c759a45872fda09bd8d6a7d20f3170 | ocaml(NCoq_Classes_CMorphisms) |
| = 1f0f476b8d631653e093903945599681 | ocaml(NCoq_Classes_CRelationClasses) |
| = d6a3e403e7cd504feb413907bf121f80 | ocaml(NCoq_Classes_DecidableClass) |
| = 1451f789294e037774e4de4182dc911e | ocaml(NCoq_Classes_EquivDec) |
| = aae227cc334dd1bd565fb51d2bb4365e | ocaml(NCoq_Classes_Equivalence) |
| = 2d9392e415dedd7e979c7e3ed4520eec | ocaml(NCoq_Classes_Init) |
| = 6b266a73e315469f08ebc542bf8746e8 | ocaml(NCoq_Classes_Morphisms) |
| = c52138961674f9ee5fab86bc21830c4a | ocaml(NCoq_Classes_Morphisms_Prop) |
| = 00eefcc76cfb8189879dd7713e1d7954 | ocaml(NCoq_Classes_Morphisms_Relations) |
| = 03470792223f41943cca775a8537bcad | ocaml(NCoq_Classes_RelationClasses) |
| = 1c7fe627401a3e5bc8b708f347739cf4 | ocaml(NCoq_Classes_RelationPairs) |
| = f56e6372a11e290946026753ff39dde7 | ocaml(NCoq_Classes_SetoidClass) |
| = 9f2bcff90f82ec7418d97cc855e9da13 | ocaml(NCoq_Classes_SetoidDec) |
| = 341ab5019508bb4fe09dc3278bbe836b | ocaml(NCoq_Classes_SetoidTactics) |
| = da4d601f6498a12afa13b75e125379c1 | ocaml(NCoq_Compat_AdmitAxiom) |
| = 3649acb86c9bfbb91dae3dd33f1c5198 | ocaml(NCoq_Compat_Coq814) |
| = 4164c3b29e58053cff781586573b3e84 | ocaml(NCoq_Compat_Coq815) |
| = 3d99833113142ca16f80705d1e268877 | ocaml(NCoq_Compat_Coq816) |
| = 0fe735f5b1f935cff733c425a05dd650 | ocaml(NCoq_FSets_FMapAVL) |
| = d3b39b618daba2fbf34057cf0b6c450e | ocaml(NCoq_FSets_FMapFacts) |
| = 56d5f16917eaf81bcfb02d85ec61ea15 | ocaml(NCoq_FSets_FMapFullAVL) |
| = e2a570ec40dbd39751d6f85886917a14 | ocaml(NCoq_FSets_FMapInterface) |
| = 82c15d510695c64b2d3bbd1e9d3d6406 | ocaml(NCoq_FSets_FMapList) |
| = db02aef270d8c58b1dc910fa4af95589 | ocaml(NCoq_FSets_FMapPositive) |
| = c440c8513ec76de92d7916e24046c405 | ocaml(NCoq_FSets_FMapWeakList) |
| = 921e11459778d4010454d5d7cebaa42a | ocaml(NCoq_FSets_FMaps) |
| = a28650ccd214d49453989e7b7c6c31c9 | ocaml(NCoq_FSets_FSetAVL) |
| = 717335a5060f062ce6feebf93820eafb | ocaml(NCoq_FSets_FSetBridge) |
| = 2b75b5c0b2b5df4641e04ef8258bd260 | ocaml(NCoq_FSets_FSetCompat) |
| = 4e2701525e7507e204b3609e2a7bfbf6 | ocaml(NCoq_FSets_FSetDecide) |
| = ac1c16bf1a1e1270f2fa168abaa71820 | ocaml(NCoq_FSets_FSetEqProperties) |
| = cc13a60e95e567eb0065d9f5bdb3e4af | ocaml(NCoq_FSets_FSetFacts) |
| = 95d52d22b0599d481ff55d378cf66d60 | ocaml(NCoq_FSets_FSetInterface) |
| = 6358017318f3a742ddc67227e2862233 | ocaml(NCoq_FSets_FSetList) |
| = 04adfb45d1240a635ab1ad0149a2a4de | ocaml(NCoq_FSets_FSetPositive) |
| = ca56cb6f47eda4a5b443bbfc0f70e961 | ocaml(NCoq_FSets_FSetProperties) |
| = 5ea771619b1b736ab7fb7693d3354f0f | ocaml(NCoq_FSets_FSetToFiniteSet) |
| = d63dc9b0cb4fcc7e9caab271a08ce638 | ocaml(NCoq_FSets_FSetWeakList) |
| = ade580cb18e7ed12f422f276a4da49db | ocaml(NCoq_FSets_FSets) |
| = 8203fcfc25e03e0df4b03b958f6cd22f | ocaml(NCoq_Floats_FloatAxioms) |
| = 9a5e5f319332f1aab08117fc52822560 | ocaml(NCoq_Floats_FloatClass) |
| = 24cf32c107b3bbdb0ce9f3501d39ed47 | ocaml(NCoq_Floats_FloatLemmas) |
| = 4bf94eb06294927847fbdd30435cf03d | ocaml(NCoq_Floats_FloatOps) |
| = dafc5ba81c9fdc34f7edfd84a20fad24 | ocaml(NCoq_Floats_Floats) |
| = a74da887993f30bc7a27941ede275b23 | ocaml(NCoq_Floats_PrimFloat) |
| = 18edf3f67606ec5d149da16e9c2c1dcc | ocaml(NCoq_Floats_SpecFloat) |
| = f7b8b2a77f57051289c84af141c7d21c | ocaml(NCoq_Init_Byte) |
| = 7dff06490587ae72d8c480e28d0792c8 | ocaml(NCoq_Init_Datatypes) |
| = 0091886e0df87b48c1b71a630733d322 | ocaml(NCoq_Init_Decimal) |
| = 48f69a780f3ab731bfd5fd9892b611dc | ocaml(NCoq_Init_Hexadecimal) |
| = 8d49d9267163e6178eb2130b0afa5363 | ocaml(NCoq_Init_Logic) |
| = af9f8dcb9ffd835e90d3e16d35aed0b1 | ocaml(NCoq_Init_Ltac) |
| = ba503b0fd72b1b323ac75b26585630aa | ocaml(NCoq_Init_Nat) |
| = b764a2077df070e881a1a4275f2315c4 | ocaml(NCoq_Init_Notations) |
| = cd525699ffce1c8a6f907027bb87d10f | ocaml(NCoq_Init_Number) |
| = 67f231ba5cf8725357b5682f1d4ed41b | ocaml(NCoq_Init_Peano) |
| = 4221317fcf5688c2b9456df745305058 | ocaml(NCoq_Init_Prelude) |
| = 6ee28c2862fc7fd46a5168a9f874140a | ocaml(NCoq_Init_Specif) |
| = b25c71f0cc80f5a089bf3d1ac9e0250b | ocaml(NCoq_Init_Tactics) |
| = 759856bf77815674ace0aaedefc9e4e0 | ocaml(NCoq_Init_Tauto) |
| = 5bca515f37535f096c090facf9f2ee7b | ocaml(NCoq_Init_Wf) |
| = f0f59ccc11cabe932e06f5bc97cf054c | ocaml(NCoq_Lists_List) |
| = 67410bb17bc9b1ddbf87781c14241d85 | ocaml(NCoq_Lists_ListDec) |
| = 9cba9a666c6e2ecdc9037dca0ef84358 | ocaml(NCoq_Lists_ListSet) |
| = 9f8e95ed02f0dff5db1dfff99db543e6 | ocaml(NCoq_Lists_ListTactics) |
| = 4c2d0690a874a878009d7122515e2b63 | ocaml(NCoq_Lists_SetoidList) |
| = c2467e4db5e51c7cd17f6ce2e3c4123c | ocaml(NCoq_Lists_SetoidPermutation) |
| = 5b000cdf22de3d6121f55afbb2d184cb | ocaml(NCoq_Lists_StreamMemo) |
| = e7d3486bb835e4edb128aeeedc414830 | ocaml(NCoq_Lists_Streams) |
| = 521387a8671f5efcac33bb179fb6a058 | ocaml(NCoq_Logic_Adjointification) |
| = 3e65668d9df31ea261c5e88449041d09 | ocaml(NCoq_Logic_Berardi) |
| = 103185a689f03f24e648941e8524319d | ocaml(NCoq_Logic_ChoiceFacts) |
| = 2199bf59c8326547772f2b79927f3163 | ocaml(NCoq_Logic_Classical) |
| = 59acca8946846ef77dd2864245e32864 | ocaml(NCoq_Logic_ClassicalChoice) |
| = 417306ad5664a50d45a78f487cf35923 | ocaml(NCoq_Logic_ClassicalDescription) |
| = db6c012b8f82c2c8a04251ad442be755 | ocaml(NCoq_Logic_ClassicalEpsilon) |
| = b34435ce57686ce13f4cdc8dfee90352 | ocaml(NCoq_Logic_ClassicalFacts) |
| = 7f497188ac1d01c3c5afae343eb97723 | ocaml(NCoq_Logic_ClassicalUniqueChoice) |
| = 0f3601bef4e8be6f586481869ef6f52d | ocaml(NCoq_Logic_Classical_Pred_Type) |
| = 1b8e0c7c889cca9962fd7f30b1fcb967 | ocaml(NCoq_Logic_Classical_Prop) |
| = fd9e6b4245e8b82f89d80a2c83852eee | ocaml(NCoq_Logic_ConstructiveEpsilon) |
| = cb01f45645f851167b10efef33067529 | ocaml(NCoq_Logic_Decidable) |
| = 57e3fb47fd0114903a068344e8a14215 | ocaml(NCoq_Logic_Description) |
| = 6a77499ffe0da8e9637b98b6a0b7781b | ocaml(NCoq_Logic_Diaconescu) |
| = 4acbdef2c5a52a45863fe4d5a458c858 | ocaml(NCoq_Logic_Epsilon) |
| = 9ddc71244ad2d1c8b2204d60fcb69212 | ocaml(NCoq_Logic_Eqdep) |
| = d214109c633558ae24ed6a636bcdcd22 | ocaml(NCoq_Logic_EqdepFacts) |
| = 0ba000735a079834f92b399bf5c6143b | ocaml(NCoq_Logic_Eqdep_dec) |
| = 6c451b18624fc1b26750b9195a983c48 | ocaml(NCoq_Logic_ExtensionalFunctionRepresentative) |
| = 764b3a4adc815831c1991a33f9739e5c | ocaml(NCoq_Logic_ExtensionalityFacts) |
| = fb6f11ed32e0c20a7c05d86149d57de3 | ocaml(NCoq_Logic_FinFun) |
| = 8ff1e7fa48f2ca2aa41c5c5219c92f32 | ocaml(NCoq_Logic_FunctionalExtensionality) |
| = e200ea9409f1ece2140880c25b42500b | ocaml(NCoq_Logic_HLevels) |
| = c24d4223c885090043b42f4069696ffd | ocaml(NCoq_Logic_Hurkens) |
| = abde45bf8cae700791210d435476d333 | ocaml(NCoq_Logic_IndefiniteDescription) |
| = 4e4ecd25a49ab58b0565ed201caf1cd5 | ocaml(NCoq_Logic_JMeq) |
| = dc70bb405c333f1142621e15027133c8 | ocaml(NCoq_Logic_ProofIrrelevance) |
| = d98fe1c37ca66e509783faa0ad0ad8af | ocaml(NCoq_Logic_ProofIrrelevanceFacts) |
| = 6950c1d37c80528dc0bf5ce93ae3fa5e | ocaml(NCoq_Logic_PropExtensionality) |
| = 3b224fbfe646c802dd2864d626012b88 | ocaml(NCoq_Logic_PropExtensionalityFacts) |
| = 85617413aca034951a846776a7bdff98 | ocaml(NCoq_Logic_PropFacts) |
| = deb127c5a5cfaf9dd89a8bc0e72b97dd | ocaml(NCoq_Logic_RelationalChoice) |
| = ea34731e45fc65ad803954c78019449f | ocaml(NCoq_Logic_SetIsType) |
| = 64f9f2cd08b4b676b354dfad4ecaf1a1 | ocaml(NCoq_Logic_SetoidChoice) |
| = cb1035736b8fd8eeec43a692ca035011 | ocaml(NCoq_Logic_StrictProp) |
| = 51b4a889b0ce199b4753f6f99b52960c | ocaml(NCoq_Logic_WKL) |
| = cbb4321333f6c9f9eac38d1d38673c27 | ocaml(NCoq_Logic_WeakFan) |
| = d05170ed5ae7ffaf884931b3a98074e8 | ocaml(NCoq_MSets_MSetAVL) |
| = ab00255105a033493dfce11382919048 | ocaml(NCoq_MSets_MSetDecide) |
| = 5b1b781fd32d873b71f702493315011b | ocaml(NCoq_MSets_MSetEqProperties) |
| = 35e0faba45e665c80b3184a163a97e73 | ocaml(NCoq_MSets_MSetFacts) |
| = 5b73fae96028c5e6dfff85ef400cdb39 | ocaml(NCoq_MSets_MSetGenTree) |
| = a73467c676f5939b8c544b8c193ad484 | ocaml(NCoq_MSets_MSetInterface) |
| = cf4ab6693dea524a794e32190e0ed287 | ocaml(NCoq_MSets_MSetList) |
| = 732e5ae8d2199575b5e61121bc5ffd94 | ocaml(NCoq_MSets_MSetPositive) |
| = ca7ea6709f9e9c690f0088a03862dbf9 | ocaml(NCoq_MSets_MSetProperties) |
| = 1a697a759ea3fb31ff869d98c5db06d5 | ocaml(NCoq_MSets_MSetRBT) |
| = ce48f256c9dc4cb7cc2a8230d9a3312d | ocaml(NCoq_MSets_MSetToFiniteSet) |
| = da1de292edc0365f4996a8ea7b74dad0 | ocaml(NCoq_MSets_MSetWeakList) |
| = 2d2ca317d84afac38795dd0e947ffe68 | ocaml(NCoq_MSets_MSets) |
| = d014d8a7617cce07faeac7a778ef66c6 | ocaml(NCoq_NArith_BinNat) |
| = 861eac66cbe479ec6d59bb9399b30705 | ocaml(NCoq_NArith_BinNatDef) |
| = 4d973d585c6c8653eb56a66a408e03fc | ocaml(NCoq_NArith_NArith) |
| = a4d0160a5966654bc1d683aa498b0723 | ocaml(NCoq_NArith_Ndec) |
| = f4e2491b51feb0c0846583657f1f7b84 | ocaml(NCoq_NArith_Ndigits) |
| = 4d5bd482d8e8abe6fd9b8ea8bc20be6c | ocaml(NCoq_NArith_Ndist) |
| = 7cd2a1a6029a28c8b5a09dd643fff0a1 | ocaml(NCoq_NArith_Ndiv_def) |
| = 529fae07d390de752c304497cf493235 | ocaml(NCoq_NArith_Ngcd_def) |
| = 8607061d7502b4b7464a7293fc5f77e8 | ocaml(NCoq_NArith_Nnat) |
| = ccad6d2eb49e2094a8d31f82e7779c8d | ocaml(NCoq_NArith_Nsqrt_def) |
| = 5579c2697ffd5c689eae3932b2d3ccdf | ocaml(NCoq_Numbers_AltBinNotations) |
| = f68e6acf6ffb202993bf722adf5f5260 | ocaml(NCoq_Numbers_BinNums) |
| = 2069f40d947cb704ed777599406be7e5 | ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) |
| = 61981e60c0329e999bba5dfedfe1de43 | ocaml(NCoq_Numbers_Cyclic_Abstract_CyclicAxioms) |
| = 2c8ca70685cab095f64a8b21b9d610f5 | ocaml(NCoq_Numbers_Cyclic_Abstract_DoubleType) |
| = ddc333ad4411ee430b170d3b06e1316b | ocaml(NCoq_Numbers_Cyclic_Abstract_NZCyclic) |
| = b843720c003546d426946db84ece02a5 | ocaml(NCoq_Numbers_Cyclic_Int31_Cyclic31) |
| = c85ab2f3c1dc6a1df409ec8ab68702b5 | ocaml(NCoq_Numbers_Cyclic_Int31_Int31) |
| = 96a782b99163db6bbcf5ea50ab1e2cf6 | ocaml(NCoq_Numbers_Cyclic_Int31_Ring31) |
| = b9d41742d320c6c2f551056563f84398 | ocaml(NCoq_Numbers_Cyclic_Int63_Cyclic63) |
| = cf3af728d29cb993618f0a2c51ef0c6d | ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) |
| = 2bd6e806b3dbba84683c6eff9c74c7ee | ocaml(NCoq_Numbers_Cyclic_Int63_Ring63) |
| = 2189ab6fe2ed8edefa46802f6be5277e | ocaml(NCoq_Numbers_Cyclic_Int63_Sint63) |
| = 682d2083bc134da2d0ac554274b220af | ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) |
| = 607e8b53042c90e9b8b2b4143a4f5306 | ocaml(NCoq_Numbers_Cyclic_ZModulo_ZModulo) |
| = 1121a550181e26b28e801251576282dd | ocaml(NCoq_Numbers_DecimalFacts) |
| = 83f65e67aa2e96f4579596e05b090801 | ocaml(NCoq_Numbers_DecimalN) |
| = ca65c1e93a746878e9f6791584bbf38e | ocaml(NCoq_Numbers_DecimalNat) |
| = 9137ef2870819723103fa9294eef1cd4 | ocaml(NCoq_Numbers_DecimalPos) |
| = bc5d145a77187a25b9ab7145694e6911 | ocaml(NCoq_Numbers_DecimalQ) |
| = c8a217e2b9246922d36ddf4671885c04 | ocaml(NCoq_Numbers_DecimalR) |
| = 21c1afca0b2c508bb259f3fbefd05c8f | ocaml(NCoq_Numbers_DecimalString) |
| = 9c33a0f9c9d8706cfb0252449a39c43b | ocaml(NCoq_Numbers_DecimalZ) |
| = fa49a1588f1e77d655c73173d76ccf26 | ocaml(NCoq_Numbers_HexadecimalFacts) |
| = 604b2b6451851a59de724920d02c8328 | ocaml(NCoq_Numbers_HexadecimalN) |
| = e9e1bce589c78d3f9b50f028114441ef | ocaml(NCoq_Numbers_HexadecimalNat) |
| = 91137dff32bf5c39d1ec6bf589f5786f | ocaml(NCoq_Numbers_HexadecimalPos) |
| = 154ac37dd2697efa09ffd8b175fb86b3 | ocaml(NCoq_Numbers_HexadecimalQ) |
| = 48c71af80970e864c8568976b3041760 | ocaml(NCoq_Numbers_HexadecimalR) |
| = c2d74227323af8a2249616f9d80b0411 | ocaml(NCoq_Numbers_HexadecimalString) |
| = 52ce13b23351dcaddcef5b415c6af517 | ocaml(NCoq_Numbers_HexadecimalZ) |
| = 39a266d7e7c1c3d42a68c682f55c9f6d | ocaml(NCoq_Numbers_Integer_Abstract_ZAdd) |
| = bd52e3eb084a064d1168674295b48450 | ocaml(NCoq_Numbers_Integer_Abstract_ZAddOrder) |
| = b9a33e8e784ea3d62fc1e494b1d2934d | ocaml(NCoq_Numbers_Integer_Abstract_ZAxioms) |
| = 8edc1b73e102a6b31d758673ed0cc03c | ocaml(NCoq_Numbers_Integer_Abstract_ZBase) |
| = f5e8bd6d77bdc55e4b090868fb4d0a75 | ocaml(NCoq_Numbers_Integer_Abstract_ZBits) |
| = f6d125d59b4bf26547c00ca00091f123 | ocaml(NCoq_Numbers_Integer_Abstract_ZDivEucl) |
| = 7accb394d754bcb3568e584fed3bd451 | ocaml(NCoq_Numbers_Integer_Abstract_ZDivFloor) |
| = 75708c17277f8e17c3b53a47e545d38c | ocaml(NCoq_Numbers_Integer_Abstract_ZDivTrunc) |
| = 07ff1114d6b9092d16301aa184cc638a | ocaml(NCoq_Numbers_Integer_Abstract_ZGcd) |
| = 1e9899f4ce7b86646dfbe58ab9b5f198 | ocaml(NCoq_Numbers_Integer_Abstract_ZLcm) |
| = fee1df0848ab032cc2c8087cbb623348 | ocaml(NCoq_Numbers_Integer_Abstract_ZLt) |
| = 6aa63b66abe936c2c763e2f75f348f5f | ocaml(NCoq_Numbers_Integer_Abstract_ZMaxMin) |
| = 8080f754a436a69fd82f5e20cdedaafc | ocaml(NCoq_Numbers_Integer_Abstract_ZMul) |
| = af947a01d3b078e83d69beef16c97ee1 | ocaml(NCoq_Numbers_Integer_Abstract_ZMulOrder) |
| = 4b729beb1baa57a3dea4788221bef6c5 | ocaml(NCoq_Numbers_Integer_Abstract_ZParity) |
| = 74ee49708cd73a9bdcdb522fcba0712b | ocaml(NCoq_Numbers_Integer_Abstract_ZPow) |
| = f9ac97ca79a9c223bc92c6fc7900a2de | ocaml(NCoq_Numbers_Integer_Abstract_ZProperties) |
| = ebfa59afd97c9859d14354eb4ce83264 | ocaml(NCoq_Numbers_Integer_Abstract_ZSgnAbs) |
| = c27756843010692254ec169584031899 | ocaml(NCoq_Numbers_Integer_Binary_ZBinary) |
| = 93c6316d3b01b90012aa964fa59de2d0 | ocaml(NCoq_Numbers_Integer_NatPairs_ZNatPairs) |
| = d6ca9f910deb8cbb0911f753225fc83f | ocaml(NCoq_Numbers_NaryFunctions) |
| = 10d46e77cea73f1786a34e2a016b4665 | ocaml(NCoq_Numbers_NatInt_NZAdd) |
| = fe0c6967134bd6678573b8f53fe8305b | ocaml(NCoq_Numbers_NatInt_NZAddOrder) |
| = d3fa3d791cecdcd0b80454c5af4a16b9 | ocaml(NCoq_Numbers_NatInt_NZAxioms) |
| = 5f854d64f0df4f842d328a676cfce570 | ocaml(NCoq_Numbers_NatInt_NZBase) |
| = a1555a861049f919844f66a34ec53fd6 | ocaml(NCoq_Numbers_NatInt_NZBits) |
| = e8428435053b0388fbf6ffd727210bf1 | ocaml(NCoq_Numbers_NatInt_NZDiv) |
| = 1ceed9bc61b448cc277d850b565640e5 | ocaml(NCoq_Numbers_NatInt_NZDomain) |
| = 997bcbaf07d08d2e45622fd18e6ff1c5 | ocaml(NCoq_Numbers_NatInt_NZGcd) |
| = a36b3ede3e9ddc35379f662ba09e4c63 | ocaml(NCoq_Numbers_NatInt_NZLog) |
| = 26e74bbb7fc7f8bc67f4d9aab2fb0d6d | ocaml(NCoq_Numbers_NatInt_NZMul) |
| = f8d86ccb12403248554131b74e813b42 | ocaml(NCoq_Numbers_NatInt_NZMulOrder) |
| = ffb455bf838012f27155c60977cf70c4 | ocaml(NCoq_Numbers_NatInt_NZOrder) |
| = bd3b0e0dd0a08f1212248c218dce5590 | ocaml(NCoq_Numbers_NatInt_NZParity) |
| = f86e2da251ab24615f6ed4357fdb41fc | ocaml(NCoq_Numbers_NatInt_NZPow) |
| = 43ae2855bbf0995833f364af8f23f93a | ocaml(NCoq_Numbers_NatInt_NZProperties) |
| = 937eae5685b0eb9a69bc47b8ea77fa06 | ocaml(NCoq_Numbers_NatInt_NZSqrt) |
| = 8905966397faeed8480d1cdccc556d42 | ocaml(NCoq_Numbers_Natural_Abstract_NAdd) |
| = 0da83158f23b1c9989889ac30c1d2cbe | ocaml(NCoq_Numbers_Natural_Abstract_NAddOrder) |
| = 7e02fb89b201dd2c5f15426c133cdb62 | ocaml(NCoq_Numbers_Natural_Abstract_NAxioms) |
| = 0314c4a7ffeb0ee7791e58c1d76d94a4 | ocaml(NCoq_Numbers_Natural_Abstract_NBase) |
| = 975fa4754dc14cde5e513046036d9334 | ocaml(NCoq_Numbers_Natural_Abstract_NBits) |
| = 46d02182a74e93c8f7d3210c24f7d110 | ocaml(NCoq_Numbers_Natural_Abstract_NDefOps) |
| = 67c7209d01ff6940c98ced1637b566a8 | ocaml(NCoq_Numbers_Natural_Abstract_NDiv) |
| = 30f19d95f97cf567e35bbe775a277c8f | ocaml(NCoq_Numbers_Natural_Abstract_NGcd) |
| = b2ade8c06f4c9a3189ffd2a18fce15c7 | ocaml(NCoq_Numbers_Natural_Abstract_NIso) |
| = 97a14fac557f03b5e56ca58478bb6802 | ocaml(NCoq_Numbers_Natural_Abstract_NLcm) |
| = 55032bf23fb0c0e57cc5d4d834584add | ocaml(NCoq_Numbers_Natural_Abstract_NLog) |
| = bb92408bedad7f35c285a014750f0af5 | ocaml(NCoq_Numbers_Natural_Abstract_NMaxMin) |
| = f778da711e59790203773273a293b872 | ocaml(NCoq_Numbers_Natural_Abstract_NMulOrder) |
| = 7660212723cf23c29a6721458d3da045 | ocaml(NCoq_Numbers_Natural_Abstract_NOrder) |
| = db1b8abced4d39721213cdd28a450387 | ocaml(NCoq_Numbers_Natural_Abstract_NParity) |
| = ff4caae369b8200e166f72a8ab0046bb | ocaml(NCoq_Numbers_Natural_Abstract_NPow) |
| = e3ee8ad4f1e19f8ce35938eecded3263 | ocaml(NCoq_Numbers_Natural_Abstract_NProperties) |
| = f1b32890a24ecde9738d746141c021ee | ocaml(NCoq_Numbers_Natural_Abstract_NSqrt) |
| = 478e81f3559144ba2382e127a3dfb917 | ocaml(NCoq_Numbers_Natural_Abstract_NStrongRec) |
| = 626a3876c1217cfff0ce8b0669ea91b6 | ocaml(NCoq_Numbers_Natural_Abstract_NSub) |
| = 348a976000ebf3e0800d0d4bafb4e7ad | ocaml(NCoq_Numbers_Natural_Binary_NBinary) |
| = 5a3746024578deb750916399227596d1 | ocaml(NCoq_Numbers_Natural_Peano_NPeano) |
| = 7a80a094abfc028886a7da318b163529 | ocaml(NCoq_Numbers_NumPrelude) |
| = 567a8354cd285d3669d47d582c454eca | ocaml(NCoq_PArith_BinPos) |
| = c083239bc91e6775296bebada706c134 | ocaml(NCoq_PArith_BinPosDef) |
| = fc7681e4b5ae32ed190ce4c099dc0373 | ocaml(NCoq_PArith_PArith) |
| = 1c3b4d72c3a5ec38165d06f79ec87633 | ocaml(NCoq_PArith_POrderedType) |
| = b2b4621283cf9cd55db20649a993384c | ocaml(NCoq_PArith_Pnat) |
| = 819299f98ae3fdc97e4a9a2c9609ffae | ocaml(NCoq_Program_Basics) |
| = 35148235f5c54e5e79e344bd007ac338 | ocaml(NCoq_Program_Combinators) |
| = f74240ea1104664ce93219861abd9ccc | ocaml(NCoq_Program_Equality) |
| = 5131a969f87faf0fa13c1dcea616f10e | ocaml(NCoq_Program_Program) |
| = b5d8447ec6f891ca3b5a8ab79cd3e220 | ocaml(NCoq_Program_Subset) |
| = 310f668d0ab7128e727a0fb8cb33ada0 | ocaml(NCoq_Program_Syntax) |
| = 1f8fc25852852797c91a1d1344b819b1 | ocaml(NCoq_Program_Tactics) |
| = ef2657266c25cf4b9a0b4d6ffaa985fc | ocaml(NCoq_Program_Utils) |
| = b31c33561a89071af9ca4c646d3da285 | ocaml(NCoq_Program_Wf) |
| = 736a18096db098caea37b7a7d635a315 | ocaml(NCoq_QArith_QArith) |
| = e89b31eaa6e00a18da0fbd5d08938402 | ocaml(NCoq_QArith_QArith_base) |
| = eed50b2ed3a616177acabc974e768d6e | ocaml(NCoq_QArith_QOrderedType) |
| = 4a3dc52bf2666912d7d251574a7b8367 | ocaml(NCoq_QArith_Qabs) |
| = 3bc1009a718243b815d3106487dc827c | ocaml(NCoq_QArith_Qcabs) |
| = 23fe056e5dc7ae47598d5521da407036 | ocaml(NCoq_QArith_Qcanon) |
| = cea0eff3c1068b70cf0db892c3ee445b | ocaml(NCoq_QArith_Qfield) |
| = 368c3ba3548b95b6a7ccc13ef79e13b7 | ocaml(NCoq_QArith_Qminmax) |
| = 7ca17bd5f11a3df4befa210ef61b2c22 | ocaml(NCoq_QArith_Qpower) |
| = 4d4b3b946fe258df88251ac2ca3fee15 | ocaml(NCoq_QArith_Qreals) |
| = 648dbc98464b2098597c04a9e931ceff | ocaml(NCoq_QArith_Qreduction) |
| = e562295299c92968b220dc22ba3cb2ea | ocaml(NCoq_QArith_Qring) |
| = 8a0c0c46d06cff79083422482b7c7a70 | ocaml(NCoq_QArith_Qround) |
| = ec786065c389d6c90d19ce4d1b53ab74 | ocaml(NCoq_Reals_Abstract_ConstructiveAbs) |
| = 9f97c887dbfca7736eaa100e8bc39c0a | ocaml(NCoq_Reals_Abstract_ConstructiveLUB) |
| = 2fb72114f3e44a32dda5cff025e63632 | ocaml(NCoq_Reals_Abstract_ConstructiveLimits) |
| = 4695c2a11193b8c7c4be88012bfdb33f | ocaml(NCoq_Reals_Abstract_ConstructiveMinMax) |
| = 73fe79716099cf22510ce3e66b49eb26 | ocaml(NCoq_Reals_Abstract_ConstructivePower) |
| = 1af6cfe7361e53cbefd8585dd6e92ca1 | ocaml(NCoq_Reals_Abstract_ConstructiveReals) |
| = e2188a8033d1f4d1170e5dbc286811db | ocaml(NCoq_Reals_Abstract_ConstructiveRealsMorphisms) |
| = af9cb7ac925c14137e945e946e8ad1c8 | ocaml(NCoq_Reals_Abstract_ConstructiveSum) |
| = b40922aa694cb517278c619534d861c9 | ocaml(NCoq_Reals_Alembert) |
| = db96dfd9037cc054c144d5b7e7724b5b | ocaml(NCoq_Reals_AltSeries) |
| = f33e6712ee05cc69efceedfd9d676414 | ocaml(NCoq_Reals_ArithProp) |
| = 46eb1037d1c91faf4eea83b8094d6647 | ocaml(NCoq_Reals_Binomial) |
| = 629d1f458b48759caec73a706f83d53b | ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyAbs) |
| = 3bc9cae9c5f4257f9935585d0566e119 | ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) |
| = d0cfbe899abd4907c1c20c02ebd67b98 | ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) |
| = a6d6f02e1bc103b8950f0ace493569fd | ocaml(NCoq_Reals_Cauchy_ConstructiveExtra) |
| = faca1334d95c4f6178ea3de59f5257bc | ocaml(NCoq_Reals_Cauchy_ConstructiveRcomplete) |
| = 9044dc852f368e06175dcdeb257233d4 | ocaml(NCoq_Reals_Cauchy_PosExtra) |
| = 416b35c7119a55b95616d5ab474212b9 | ocaml(NCoq_Reals_Cauchy_QExtra) |
| = 5238a60a1f189d657b6d8b1892a97fc9 | ocaml(NCoq_Reals_Cauchy_prod) |
| = 460659bb8071f6d2ef65ed26eed4cf86 | ocaml(NCoq_Reals_ClassicalConstructiveReals) |
| = 041c88f8706c707a4f0541aee2eef8b0 | ocaml(NCoq_Reals_ClassicalDedekindReals) |
| = 90c28223868dd0b32f08756f75c2a5bc | ocaml(NCoq_Reals_Cos_plus) |
| = 60ab08653bd44b17523700f8ab3666eb | ocaml(NCoq_Reals_Cos_rel) |
| = 8522ec2846693eec8496cede30e4d5c3 | ocaml(NCoq_Reals_DiscrR) |
| = 0f356919f081e75363663d53c0b8b7e7 | ocaml(NCoq_Reals_Exp_prop) |
| = fde9bf5db0f7520bdcec12f10af4c178 | ocaml(NCoq_Reals_Integration) |
| = 39c8a10362478cfb5550bc9d759e7d65 | ocaml(NCoq_Reals_MVT) |
| = f0991f0da2d54ea2c3621983dd2605e1 | ocaml(NCoq_Reals_Machin) |
| = cc4420b0c7ed491b7d7ac9bd8aaf5a80 | ocaml(NCoq_Reals_NewtonInt) |
| = 0ab1dbb54f8062c2e06491096b674850 | ocaml(NCoq_Reals_PSeries_reg) |
| = 08c5f046415ea81fb363aa7faec73fac | ocaml(NCoq_Reals_PartSum) |
| = e17d1e4cd82578c36d0c8b465e5d0fcc | ocaml(NCoq_Reals_RIneq) |
| = 6aa361ac8a81cb364da64db740903f5a | ocaml(NCoq_Reals_RList) |
| = 708c6e070e174eeb6ec0d4564c8be721 | ocaml(NCoq_Reals_ROrderedType) |
| = 9ac53fb26d5cb70465843af4127f4396 | ocaml(NCoq_Reals_R_Ifp) |
| = 64c02c49b6176b06c0c4ff4da4c24fd6 | ocaml(NCoq_Reals_R_sqr) |
| = 0ef21d135ce5620dcdffd8943721e056 | ocaml(NCoq_Reals_R_sqrt) |
| = a3790eebcadc727600fc56d1b19bb6fc | ocaml(NCoq_Reals_Ranalysis) |
| = e958040ba45434481987ca8cfdaff7b5 | ocaml(NCoq_Reals_Ranalysis1) |
| = e916c01af6e8439d65e5ad632c1e4820 | ocaml(NCoq_Reals_Ranalysis2) |
| = 6d3b644703b20837c4b802a6b9f24ecd | ocaml(NCoq_Reals_Ranalysis3) |
| = 3212305a3ebf5a97d56649a0efa56d1d | ocaml(NCoq_Reals_Ranalysis4) |
| = ef4f47505dfd260b6eb1c59d1b669fd4 | ocaml(NCoq_Reals_Ranalysis5) |
| = 55a02924f70018206e62b6ec9d237485 | ocaml(NCoq_Reals_Ranalysis_reg) |
| = 100805e921460379ee4380a96a03e518 | ocaml(NCoq_Reals_Ratan) |
| = 8717e5ba29c58e18675aa9d4441687b9 | ocaml(NCoq_Reals_Raxioms) |
| = 718a72a48b5c00143fc5a890bd472fef | ocaml(NCoq_Reals_Rbase) |
| = d7937acd1fa489b5786486500a1c33c7 | ocaml(NCoq_Reals_Rbasic_fun) |
| = 1d0941408458ce562e15e5f68483ec6d | ocaml(NCoq_Reals_Rcomplete) |
| = f36e6fdcfa9a0e339578e20a9f5db7d3 | ocaml(NCoq_Reals_Rdefinitions) |
| = 29d5d0f3349fda456f1c7be7d24c36b5 | ocaml(NCoq_Reals_Rderiv) |
| = fc0b9c3d277633d3827f3f1d72a8dc5c | ocaml(NCoq_Reals_Reals) |
| = bee964dae118e2f605da619804d4e408 | ocaml(NCoq_Reals_Rfunctions) |
| = 307c4c006213781d9ea15cc13b3893fb | ocaml(NCoq_Reals_Rgeom) |
| = ba93f7c73e9d7f74ffe7fc44334926fd | ocaml(NCoq_Reals_RiemannInt) |
| = e13e9f5536e600cf34038d2d3634149c | ocaml(NCoq_Reals_RiemannInt_SF) |
| = c60549c7320370e9435726f8763b04e5 | ocaml(NCoq_Reals_Rlimit) |
| = c55bd822e248f78614443c2922f061e0 | ocaml(NCoq_Reals_Rlogic) |
| = 7faa17da8c870d3c4735a9a11f079163 | ocaml(NCoq_Reals_Rminmax) |
| = 08d14df826ae8289b86b0107fb9c36d6 | ocaml(NCoq_Reals_Rpow_def) |
| = 8767217ef0eaef18c23c7865242cf7ba | ocaml(NCoq_Reals_Rpower) |
| = 68125db0f272b80a9721abde9fc6f00c | ocaml(NCoq_Reals_Rprod) |
| = aaa2ac5b90fa6541b54dfe388faf86b3 | ocaml(NCoq_Reals_Rregisternames) |
| = 49b9d6f896c5d393633c0f742c09e028 | ocaml(NCoq_Reals_Rseries) |
| = dc2e105c3582811bdfb152678862a581 | ocaml(NCoq_Reals_Rsigma) |
| = f42bf05072ae26906298ececd08c0f21 | ocaml(NCoq_Reals_Rsqrt_def) |
| = 6f83acbd5033cab378cc885e693e3b35 | ocaml(NCoq_Reals_Rtopology) |
| = d90e612322e3741e4b5f938a4d1f3045 | ocaml(NCoq_Reals_Rtrigo) |
| = cfebd1793fcd5e7223927f5f72aa54ae | ocaml(NCoq_Reals_Rtrigo1) |
| = 0cd50fbd1981780e6c29fb9b7d4859c3 | ocaml(NCoq_Reals_Rtrigo_alt) |
| = 30bd1786eeb806072d14c39bd296f05a | ocaml(NCoq_Reals_Rtrigo_calc) |
| = c17a6892fc43af795a51e11b6790caaa | ocaml(NCoq_Reals_Rtrigo_def) |
| = 874fb885c198568f5ed0764c61e4a86c | ocaml(NCoq_Reals_Rtrigo_facts) |
| = c1ae23fc6d3a0c86eda15d3db1b1fd77 | ocaml(NCoq_Reals_Rtrigo_fun) |
| = 7683a6d9f57c71404d7170893fc309c7 | ocaml(NCoq_Reals_Rtrigo_reg) |
| = 3d615258b2c85f0ffd4144fc6205212a | ocaml(NCoq_Reals_Runcountable) |
| = f0101dd413abf0bc8dbef366cdac647a | ocaml(NCoq_Reals_SeqProp) |
| = 5011bb49b14a0b836d52388e1ea034df | ocaml(NCoq_Reals_SeqSeries) |
| = 81f67020185fd49f1554ccf7de9d6fb4 | ocaml(NCoq_Reals_SplitAbsolu) |
| = 6fdf924db28b1829d16ab8eb2ab7a44b | ocaml(NCoq_Reals_SplitRmult) |
| = f73fe0170eeb16a4c3252fde0d70121b | ocaml(NCoq_Reals_Sqrt_reg) |
| = ce5519add440edbe6174c91933b828bb | ocaml(NCoq_Relations_Operators_Properties) |
| = 50d48e86dd918045ba6710f690346c4e | ocaml(NCoq_Relations_Relation_Definitions) |
| = cfda120d75e832c0544c107ddf3c3eb1 | ocaml(NCoq_Relations_Relation_Operators) |
| = be8b42374644ffcd00e75c31c63f6d56 | ocaml(NCoq_Relations_Relations) |
| = ff4a727e569d978538a179c8c6991898 | ocaml(NCoq_Setoids_Setoid) |
| = d14fe5a28351cf5d41b094dd052605ab | ocaml(NCoq_Sets_Classical_sets) |
| = 41a084a023f668666bc45142ddde6a05 | ocaml(NCoq_Sets_Constructive_sets) |
| = cb6c892d5bbbeb8fb01961fb4fb96310 | ocaml(NCoq_Sets_Cpo) |
| = 94d72af35048317e5310d349a7390161 | ocaml(NCoq_Sets_Ensembles) |
| = f75ba6fd4245c4e20d0c6715af2287a1 | ocaml(NCoq_Sets_Finite_sets) |
| = 55de32798e70da1f8020718aecf9b1e4 | ocaml(NCoq_Sets_Finite_sets_facts) |
| = 5c778ba7b56f1b278b96cce4cd318873 | ocaml(NCoq_Sets_Image) |
| = ef7f9b1328a4fb3512faf289fb9bf2e7 | ocaml(NCoq_Sets_Infinite_sets) |
| = bde12987f291a1f86163ccf02c967dcc | ocaml(NCoq_Sets_Integers) |
| = efb20ec5030ec69ea89d832fb21e2d83 | ocaml(NCoq_Sets_Multiset) |
| = c4bf842b691bc940dbbaf9696a89cc2e | ocaml(NCoq_Sets_Partial_Order) |
| = 0c6d1b9dbe2843c881ccb5ce3c7b9596 | ocaml(NCoq_Sets_Permut) |
| = 97f697899517c903a8a35414b9e1e566 | ocaml(NCoq_Sets_Powerset) |
| = a6efc3b028f5d018e328a3f36715b2aa | ocaml(NCoq_Sets_Powerset_Classical_facts) |
| = 94efcdd4fa1511f6ffa2c69c78919d97 | ocaml(NCoq_Sets_Powerset_facts) |
| = 4b13435e1f440c4f1399090902c0f00d | ocaml(NCoq_Sets_Relations_1) |
| = 7ca663dba3a0a2843d905d67aeb1f8a2 | ocaml(NCoq_Sets_Relations_1_facts) |
| = c52bb3c27d51f607fc47b32d9b0f9aa8 | ocaml(NCoq_Sets_Relations_2) |
| = edd02fdbd87332747f5750de03ec6370 | ocaml(NCoq_Sets_Relations_2_facts) |
| = 70fd465151de850efc2a6638d7eb0f06 | ocaml(NCoq_Sets_Relations_3) |
| = bc199bc928496dbb1530f7a485ac4e62 | ocaml(NCoq_Sets_Relations_3_facts) |
| = 1a8dc3731348fbeb077ea74282089d82 | ocaml(NCoq_Sets_Uniset) |
| = 39e71c0bca3e0f09388d6e42ea12eaa8 | ocaml(NCoq_Sorting_CPermutation) |
| = e69c2e9fe9b816eff859bf2b2a747664 | ocaml(NCoq_Sorting_Heap) |
| = d57c1ef46b02c627996d0e90a40e871b | ocaml(NCoq_Sorting_Mergesort) |
| = 400c5af15d71e9df74c8c4871ec11412 | ocaml(NCoq_Sorting_PermutEq) |
| = 09218e39fcd72ff0e09695c98175f625 | ocaml(NCoq_Sorting_PermutSetoid) |
| = 6a2863c24d22902c75fb82ae93dc82a2 | ocaml(NCoq_Sorting_Permutation) |
| = f28afa798572c434d471848e21bd0214 | ocaml(NCoq_Sorting_Sorted) |
| = 6335cf5a0b7851948c09994e9463b104 | ocaml(NCoq_Sorting_Sorting) |
| = 0bca7db04fa384d075821f00d1369e7d | ocaml(NCoq_Strings_Ascii) |
| = ef4e01dcfa95f5d2ee12cb82d23d63e2 | ocaml(NCoq_Strings_BinaryString) |
| = a734f56969eeb27251d7309f2857213c | ocaml(NCoq_Strings_Byte) |
| = 867fe0e1deb39f47a20d3015f90415bc | ocaml(NCoq_Strings_ByteVector) |
| = 0f3009c28edc2c198d23cb14a5a68ccd | ocaml(NCoq_Strings_HexString) |
| = 509e35f33e5d17e4d3f02605a2ce9380 | ocaml(NCoq_Strings_OctalString) |
| = c97b72f9fb239d849b8b6b76ccee7c6f | ocaml(NCoq_Strings_String) |
| = 7cc82bac6cba7631df687a247cb3b3c9 | ocaml(NCoq_Structures_DecidableType) |
| = 8aa80d6b815a8d8c7ddc7b0ce50913b8 | ocaml(NCoq_Structures_DecidableTypeEx) |
| = 89fa1940dde052aacd1e16a960eee59e | ocaml(NCoq_Structures_Equalities) |
| = 464f810be645cd4f32e1b11a3e5a4d86 | ocaml(NCoq_Structures_EqualitiesFacts) |
| = e0aff994a78850cce6eb79165c994952 | ocaml(NCoq_Structures_GenericMinMax) |
| = 4ab95df53068615f3e927278ed1ff433 | ocaml(NCoq_Structures_OrderedType) |
| = 354a826054706f0ee10a8a0bf12842d9 | ocaml(NCoq_Structures_OrderedTypeAlt) |
| = 8422349fee20776a7d74a0fc37cd9353 | ocaml(NCoq_Structures_OrderedTypeEx) |
| = bd404c107e834c9fbfc13e7199e70988 | ocaml(NCoq_Structures_Orders) |
| = 978e8287659b5f61bf7305bf37a0ed08 | ocaml(NCoq_Structures_OrdersAlt) |
| = 59ce705e17fcd61a63e3bf5efcb6966c | ocaml(NCoq_Structures_OrdersEx) |
| = 9fd681f8a37b2c87f19a46c5cde12104 | ocaml(NCoq_Structures_OrdersFacts) |
| = f714027bd8041474b3fdc95fec831140 | ocaml(NCoq_Structures_OrdersLists) |
| = e653cee5a401486b918c1d13e4ee646c | ocaml(NCoq_Structures_OrdersTac) |
| = ac783bc98d30e5197be434fb418ef3f7 | ocaml(NCoq_Unicode_Utf8) |
| = 990a37b44f32a3d4025f0b7eb70187ab | ocaml(NCoq_Unicode_Utf8_core) |
| = 8d193a819ec215c739e0ddb3eb67dac0 | ocaml(NCoq_Vectors_Fin) |
| = 8a037daf65f727aba5e0d9e9eadc52e4 | ocaml(NCoq_Vectors_Vector) |
| = 9f6d22a11bcb96c8600f9e25305c5e6c | ocaml(NCoq_Vectors_VectorDef) |
| = d009e51dbc856ed50a95419b1c65a06a | ocaml(NCoq_Vectors_VectorEq) |
| = 35943b2857fea55b68a994bc40682d1e | ocaml(NCoq_Vectors_VectorSpec) |
| = 3ebff04ad89102d3526384242c83aac7 | ocaml(NCoq_Wellfounded_Disjoint_Union) |
| = 08de878f6b1eb06d7bddfdbf357a1b69 | ocaml(NCoq_Wellfounded_Inclusion) |
| = 6d0c214342fb90dbe2c0973b505c2b7b | ocaml(NCoq_Wellfounded_Inverse_Image) |
| = ec75174146f3b94053c6544c579a78a7 | ocaml(NCoq_Wellfounded_Lexicographic_Exponentiation) |
| = c478bd500b386fe75aff12feb13d09dc | ocaml(NCoq_Wellfounded_Lexicographic_Product) |
| = f5b285e2357dc42d6bcf4a4c605347e9 | ocaml(NCoq_Wellfounded_Transitive_Closure) |
| = 3d7c53ea07b1ca8a1c281ab4d31e79c4 | ocaml(NCoq_Wellfounded_Union) |
| = ff413aa157d3314e57ab4f860fa6ddbf | ocaml(NCoq_Wellfounded_Well_Ordering) |
| = 95f59a94a52ff97164cf317d6ce80a35 | ocaml(NCoq_Wellfounded_Wellfounded) |
| = 75a2ff407fbbc12c0021cf14b6cb0f4a | ocaml(NCoq_ZArith_BinInt) |
| = 4334d3b5d9b98827dd666f7d25d45dad | ocaml(NCoq_ZArith_BinIntDef) |
| = 791e22d9b372e82362979703a3980ba0 | ocaml(NCoq_ZArith_Int) |
| = 8f6609c4cddc091b35dbeb44eb492bb0 | ocaml(NCoq_ZArith_Wf_Z) |
| = 0c9f3557d290ec070528145a46c4af34 | ocaml(NCoq_ZArith_ZArith) |
| = 6f2c5af481a17ee266867093af960082 | ocaml(NCoq_ZArith_ZArith_base) |
| = 127ab251d986c70c3d6131d06396afd8 | ocaml(NCoq_ZArith_ZArith_dec) |
| = b2ff1efd84d162ce7de5deeccd549b0f | ocaml(NCoq_ZArith_Zabs) |
| = 3c79cf9f91dd9622e786c53f032964e0 | ocaml(NCoq_ZArith_Zbool) |
| = 126dca062bfd018c9b6fc8b68209b50c | ocaml(NCoq_ZArith_Zcompare) |
| = 27fed917e2f4f5df5fde2f41a904b50e | ocaml(NCoq_ZArith_Zcomplements) |
| = 508357f829e9b8df1eda5f09c07afd05 | ocaml(NCoq_ZArith_Zdigits) |
| = 7aa9245149ead8cb74f6a7976dd1bde3 | ocaml(NCoq_ZArith_Zdiv) |
| = 9e245264dc4ee51138e21f1705c7a189 | ocaml(NCoq_ZArith_Zeuclid) |
| = 62d38b4a4e33dc0f927bb81a7f738a3e | ocaml(NCoq_ZArith_Zeven) |
| = 3b9faae094d27621078801e8113ec1bd | ocaml(NCoq_ZArith_Zgcd_alt) |
| = f72f8abd7a2e3f0f34ccfee6b1b3d416 | ocaml(NCoq_ZArith_Zhints) |
| = 87ad35af319d15fffd018476c219ee7c | ocaml(NCoq_ZArith_Zmax) |
| = 28205ade91a722635782ec20d6d09d89 | ocaml(NCoq_ZArith_Zmin) |
| = 865fc3c3b5044b7927a6d6a35d2ae472 | ocaml(NCoq_ZArith_Zminmax) |
| = 05cb3e4f0dd113811ee37939dc51bdca | ocaml(NCoq_ZArith_Zmisc) |
| = e6a528fc72a76ccc4ceb24d48ae0dfd1 | ocaml(NCoq_ZArith_Znat) |
| = 3d646f164f27da7269937b5e430e5b15 | ocaml(NCoq_ZArith_Znumtheory) |
| = b5f838424961c1897d441dd879a192ad | ocaml(NCoq_ZArith_Zorder) |
| = d3626c9ba665fd5d7a8beacba7251346 | ocaml(NCoq_ZArith_Zpow_alt) |
| = c1c413b6f5f276d678d411bc1b2caf14 | ocaml(NCoq_ZArith_Zpow_def) |
| = ede90f5d8e343aff327b42193aacd98d | ocaml(NCoq_ZArith_Zpow_facts) |
| = 2404fff785da3403be59e3b5070915a7 | ocaml(NCoq_ZArith_Zpower) |
| = 76c4164be593898ddcd987c5247ae36f | ocaml(NCoq_ZArith_Zquot) |
| = 87abd68290a6b9a41e4509ce7c0c5087 | ocaml(NCoq_ZArith_Zwf) |
| = 74b5c835cfad517bdc946be6b99d42ce | ocaml(NCoq_ZArith_auxiliary) |
| = f59efa605e94c6c6a387805183ba3a59 | ocaml(NCoq_btauto_Algebra) |
| = 97fc5e41543005e440a8d10cd646c232 | ocaml(NCoq_btauto_Btauto) |
| = 1de735b361d9c6671a63ca5eedf4b04c | ocaml(NCoq_btauto_Reflect) |
| = 1d975e0955313922a8f55f2f7ac28b79 | ocaml(NCoq_derive_Derive) |
| = 19daf86adbfc6bab68a9de91cac05a94 | ocaml(NCoq_extraction_ExtrHaskellBasic) |
| = ca6f4c5a9ff4088b7a53514f9f67049f | ocaml(NCoq_extraction_ExtrHaskellNatInt) |
| = b7d2bc39e7990187f8bab51994ff1966 | ocaml(NCoq_extraction_ExtrHaskellNatInteger) |
| = e08f032998232c7ae02d748aeeccaa54 | ocaml(NCoq_extraction_ExtrHaskellNatNum) |
| = b7f71a4cc4a0ec3af21f7dd1966304dc | ocaml(NCoq_extraction_ExtrHaskellString) |
| = e45287241b58c021e46e94e4f1126a41 | ocaml(NCoq_extraction_ExtrHaskellZInt) |
| = 17f9a7b722f9cb6f770c1708bf01829b | ocaml(NCoq_extraction_ExtrHaskellZInteger) |
| = b9e780f26aa8a08bd6edf24525587119 | ocaml(NCoq_extraction_ExtrHaskellZNum) |
| = ac4cc507c103738b3a1fe12f1625e053 | ocaml(NCoq_extraction_ExtrOCamlFloats) |
| = 506bc8c2ec2b42790ef0b50dcc1b1853 | ocaml(NCoq_extraction_ExtrOCamlInt63) |
| = 1690b47d5e92ac074d0ee6b0a217ac53 | ocaml(NCoq_extraction_ExtrOCamlPArray) |
| = 6ce9fa13c42daeb65d81cdd77062ed88 | ocaml(NCoq_extraction_ExtrOcamlBasic) |
| = 81ebc2ac890803a9e1b64f7455a06fea | ocaml(NCoq_extraction_ExtrOcamlChar) |
| = cb3b0003b6e7b902e1f55fbbed4f5d46 | ocaml(NCoq_extraction_ExtrOcamlIntConv) |
| = ec18057d35a4950f2744c899be598321 | ocaml(NCoq_extraction_ExtrOcamlNatBigInt) |
| = b75c38fd7524d8727fa7eb5619d4712f | ocaml(NCoq_extraction_ExtrOcamlNatInt) |
| = 3d2dd010fc3d134f6e6e8b5afe679870 | ocaml(NCoq_extraction_ExtrOcamlNativeString) |
| = be5cd8aa72dd6729cab87a9f4f7e9bf5 | ocaml(NCoq_extraction_ExtrOcamlString) |
| = 10e1e47e873b9becfd0b014865b9f061 | ocaml(NCoq_extraction_ExtrOcamlZBigInt) |
| = cb8b024080972ff0a79fed48c63ac705 | ocaml(NCoq_extraction_ExtrOcamlZInt) |
| = f3215b5475d79447864326380dd56380 | ocaml(NCoq_extraction_Extraction) |
| = 9fb183fe550dd989ba76418deaa34005 | ocaml(NCoq_funind_FunInd) |
| = 8d289812d4f484f80f8a74892d79d99b | ocaml(NCoq_funind_Recdef) |
| = 89ad3168c2cebdf42c35a996e03ca1bc | ocaml(NCoq_micromega_DeclConstant) |
| = c2274f0e2d59fa311eae5de38381d732 | ocaml(NCoq_micromega_Env) |
| = ba209b2651056a06631de199570c6a4d | ocaml(NCoq_micromega_EnvRing) |
| = fc94472e061eb1139179c5e769fd8e7c | ocaml(NCoq_micromega_Fourier) |
| = 750ce7cd340724f350d7cde82d4970da | ocaml(NCoq_micromega_Fourier_util) |
| = a164cb5880864e6ba465cd79fd7124bc | ocaml(NCoq_micromega_Lia) |
| = 84504aa082c54893c1fac96a4cf491ba | ocaml(NCoq_micromega_Lqa) |
| = 6173b7a1922c376226ef072247453c95 | ocaml(NCoq_micromega_Lra) |
| = 43e747f545bbd80885dd3134752788cc | ocaml(NCoq_micromega_MExtraction) |
| = 1aeacddd96f15f4bba80a543c9a40ea9 | ocaml(NCoq_micromega_OrderedRing) |
| = 9778b41df932120585a856b5e93dc367 | ocaml(NCoq_micromega_Psatz) |
| = d236295c363577b11cbab0b2e3061a0b | ocaml(NCoq_micromega_QMicromega) |
| = 6d7281d7199be96c40324d23c520b936 | ocaml(NCoq_micromega_RMicromega) |
| = 7983688063ea1596d273ca5321c46114 | ocaml(NCoq_micromega_Refl) |
| = e0f5d19410f0458864c6c271f5030cf1 | ocaml(NCoq_micromega_RingMicromega) |
| = d1f561c47b947f36cd4558d9ad780e4c | ocaml(NCoq_micromega_Tauto) |
| = d065bb685792ee63c45425b9802ea89a | ocaml(NCoq_micromega_VarMap) |
| = c37d6fa999d730fa74f68e44831e74e5 | ocaml(NCoq_micromega_ZArith_hints) |
| = 68d4bb7b7b33bee9e3919ae5f2cee76c | ocaml(NCoq_micromega_ZCoeff) |
| = 2b806614f3dba808e54100ef8473ef77 | ocaml(NCoq_micromega_ZMicromega) |
| = 7488dd1c40859f166bc5b9ebdc6c1cdb | ocaml(NCoq_micromega_Zify) |
| = ef84c59f38063ed2d96c0408c79c09dc | ocaml(NCoq_micromega_ZifyBool) |
| = 4c772b46c407a3e367477f2fa5f9fb60 | ocaml(NCoq_micromega_ZifyClasses) |
| = 7f5a9ce6632b9dae6a391079f632377d | ocaml(NCoq_micromega_ZifyComparison) |
| = fc2127684f336f037cd7dc0db49ca32e | ocaml(NCoq_micromega_ZifyInst) |
| = dd1483dbaa68f695d0cd300f2c91ea38 | ocaml(NCoq_micromega_ZifyN) |
| = 3a5fdc5f9387ff59bc9188788d9e3444 | ocaml(NCoq_micromega_ZifyNat) |
| = 2538f54e93a5d94ecdc071e92d915c90 | ocaml(NCoq_micromega_ZifyPow) |
| = 1f180a36895b52db4d52bfcddc67b5c5 | ocaml(NCoq_micromega_ZifySint63) |
| = 3facea47070e0abbbccebc9904b2a91c | ocaml(NCoq_micromega_ZifyUint63) |
| = 071fb1018839f9029d6487371f896c0f | ocaml(NCoq_micromega_Ztac) |
| = 2632e0444aa6ccaa3e7e43e6556b2c33 | ocaml(NCoq_nsatz_Nsatz) |
| = f9b390979e571a66579068b9287d3d0b | ocaml(NCoq_nsatz_NsatzTactic) |
| = 39d4879eb413e21a33c37fcc5e8008eb | ocaml(NCoq_omega_OmegaLemmas) |
| = e70a93744059ada5c40d83611b82c385 | ocaml(NCoq_omega_PreOmega) |
| = 1d6f8a67962446a9e709025bf1a389e7 | ocaml(NCoq_rtauto_Bintree) |
| = e24173859c218bab96492c8bc9d47bf8 | ocaml(NCoq_rtauto_Rtauto) |
| = 645498cda84b7c19caf1df0a3f85f40c | ocaml(NCoq_setoid_ring_Algebra_syntax) |
| = 4c05e0ca333bcc68b5ee471c06150f17 | ocaml(NCoq_setoid_ring_ArithRing) |
| = 2af322c2b741c327817e63b894d38e93 | ocaml(NCoq_setoid_ring_BinList) |
| = 3231c462bed1e40e085edbbc8739d500 | ocaml(NCoq_setoid_ring_Cring) |
| = 61875221405346d04d630ae8541c4472 | ocaml(NCoq_setoid_ring_Field) |
| = 84b189261aa9af4f19147367c16f083f | ocaml(NCoq_setoid_ring_Field_tac) |
| = 6e1e033f24ffed24e144125234ebd9d3 | ocaml(NCoq_setoid_ring_Field_theory) |
| = d530bcb9e138406957f2b24b7f3375bd | ocaml(NCoq_setoid_ring_InitialRing) |
| = 7096d7fb64d44579e54587acec6064d2 | ocaml(NCoq_setoid_ring_Integral_domain) |
| = 78037499a881781679150ec8c85f1dd0 | ocaml(NCoq_setoid_ring_NArithRing) |
| = 970e60f04284cc36c6b410f411965b26 | ocaml(NCoq_setoid_ring_Ncring) |
| = b46682ceb5677d622831d885ad110395 | ocaml(NCoq_setoid_ring_Ncring_initial) |
| = bd3a9ce2767b72e19f85473a1884541b | ocaml(NCoq_setoid_ring_Ncring_polynom) |
| = 58254210dd76156bfde249fb027c9036 | ocaml(NCoq_setoid_ring_Ncring_tac) |
| = 88de792f6e80a9d6372f6ff226368597 | ocaml(NCoq_setoid_ring_RealField) |
| = 1ca40a36140e8c5a39d11c2a03ac4745 | ocaml(NCoq_setoid_ring_Ring) |
| = 7ff55bdab5955dfaa5d6eca95381d2bf | ocaml(NCoq_setoid_ring_Ring_base) |
| = f82809523aade7f5fc49d026b5a3fc39 | ocaml(NCoq_setoid_ring_Ring_polynom) |
| = eb7e87e4d419c8cea43c6b84c7f938f0 | ocaml(NCoq_setoid_ring_Ring_tac) |
| = 6b85b253533d9c96b7b96cbbf6e15a26 | ocaml(NCoq_setoid_ring_Ring_theory) |
| = 8de7eb8c993adbc4510bf3f8d8e63be1 | ocaml(NCoq_setoid_ring_Rings_Q) |
| = 6290b578d93c26aae2c0f3de06283d84 | ocaml(NCoq_setoid_ring_Rings_R) |
| = d04f155e50bd3333b1c9300caef8f9e4 | ocaml(NCoq_setoid_ring_Rings_Z) |
| = bbd30663d93024d84ca6685bbc52cb7f | ocaml(NCoq_setoid_ring_ZArithRing) |
| = 0c064531f3f2a79d2169ad40a5782df6 | ocaml(NCoq_ssr_ssrbool) |
| = 5925b2bd2a3fc8894f9bf3b7817edbcc | ocaml(NCoq_ssr_ssrclasses) |
| = fb3241557b7abaad975c01d312e227e2 | ocaml(NCoq_ssr_ssreflect) |
| = 53cb33ecb450d58190b51b3381120cbf | ocaml(NCoq_ssr_ssrfun) |
| = 03a255316ef2827e1b856e714c00a856 | ocaml(NCoq_ssr_ssrsetoid) |
| = ecae1849f9c3d7b98cfe77319c2c8c70 | ocaml(NCoq_ssr_ssrunder) |
| = d6972f8522f3c1864a85eea49d89929f | ocaml(NCoq_ssrmatching_ssrmatching) |
| = 6078886f5ffff0026fef4727032c070b | ocaml(NLtac2_Array) |
| = 768f8e215bf280b15ec7e83127be794c | ocaml(NLtac2_Bool) |
| = 91461d55ce824a03b12cce675fcf4815 | ocaml(NLtac2_Char) |
| = 649c2af32dac6e3e00772b765dbed4d3 | ocaml(NLtac2_Constr) |
| = 4a6458c0b3e2ca14a0e650c1aa6cc2b4 | ocaml(NLtac2_Control) |
| = fa903b7fa903dba304bbb737746aaf34 | ocaml(NLtac2_Env) |
| = 1d9a45ed2545be93255cf6480fb4bc5e | ocaml(NLtac2_Fresh) |
| = aba64fe6bcc36f4fe73f59e4d4a73613 | ocaml(NLtac2_Ident) |
| = e801dda178978edb6d00709681c98276 | ocaml(NLtac2_Ind) |
| = 86012fe1b6d4b2cf88e22da18b264fad | ocaml(NLtac2_Init) |
| = 036eeda320b9ac4508b3f704fe1028e3 | ocaml(NLtac2_Int) |
| = 2c5dfa85d688092a95e495e99a0e0042 | ocaml(NLtac2_List) |
| = 8b831ea83430d5099d05f92c33fd0930 | ocaml(NLtac2_Ltac1) |
| = 19b36eb7179feb09c31cfd5b6c2fb0e8 | ocaml(NLtac2_Ltac2) |
| = 6f57c776ac77329c80e0caab8b5a2694 | ocaml(NLtac2_Message) |
| = 5a7266d188b393488bec0994a2fc48af | ocaml(NLtac2_Notations) |
| = 48e6ff08052099f98b872ae3e967909e | ocaml(NLtac2_Option) |
| = 7b1ed4d8bb93f1617686b3b038061e21 | ocaml(NLtac2_Pattern) |
| = 20f778a3b345b46b8f25b2083f40e432 | ocaml(NLtac2_Printf) |
| = b03f2816f0079b77023621e502b92ce3 | ocaml(NLtac2_Std) |
| = 5b68e568b175ce9e6aff9710f7f9838b | ocaml(NLtac2_String) |
| = 691bfdecf57d1cdd3f584bc5d3fef3af | ocamlx(NCoq_Arith_Arith) |
| = 507be0591ef4ccb4172cf9fee618f45e | ocamlx(NCoq_Arith_Arith_base) |
| = 81a4ff6960f354daf10d5ae73ba52e43 | ocamlx(NCoq_Arith_Arith_prebase) |
| = ca826b6e4e3ce292d7f0912b97bb743d | ocamlx(NCoq_Arith_Between) |
| = f181dcf331e689668e3e531ef0362479 | ocamlx(NCoq_Arith_Bool_nat) |
| = bd8d430009020f80a6e9196b4cc61b5e | ocamlx(NCoq_Arith_Cantor) |
| = 315788970fec2e19aab792da3fb9f39c | ocamlx(NCoq_Arith_Compare) |
| = 7662f6e9cc125d0479d8472dafceef6c | ocamlx(NCoq_Arith_Compare_dec) |
| = dafdd303cdd80065a1a2300b8df30c26 | ocamlx(NCoq_Arith_Div2) |
| = 65fc1ad1307f25bfb57ddf235c24e705 | ocamlx(NCoq_Arith_EqNat) |
| = be1163aad3b8024250894929d52c7484 | ocamlx(NCoq_Arith_Euclid) |
| = 5188d63b83b0935e097476e2ab073eb0 | ocamlx(NCoq_Arith_Even) |
| = c1ed4074794701c0de8627d543f9a42c | ocamlx(NCoq_Arith_Factorial) |
| = 35ba027cf71ea3fe5181c453e3437720 | ocamlx(NCoq_Arith_Gt) |
| = 7355139478d71410b7eb80eb9be70aff | ocamlx(NCoq_Arith_Le) |
| = 02073a8714055caf2f8ca155ce75ac3d | ocamlx(NCoq_Arith_Lt) |
| = 69acc197a0e87df1b8ee78e0f6f47e28 | ocamlx(NCoq_Arith_Max) |
| = 1d430f77d3703430a8d4ad8ddc1bc977 | ocamlx(NCoq_Arith_Min) |
| = 7794d8722b62fac3e69bf75f798e4b1e | ocamlx(NCoq_Arith_Minus) |
| = 01204e551196bf5911e4189bef1790a5 | ocamlx(NCoq_Arith_Mult) |
| = 45329762b8adf278295c6f273d9bfdbe | ocamlx(NCoq_Arith_PeanoNat) |
| = 921d88a2ddb1c38efaeb784a905b4f29 | ocamlx(NCoq_Arith_Peano_dec) |
| = 4b410b883c6e4d2ea7adb31ecac2f88c | ocamlx(NCoq_Arith_Plus) |
| = 03444c5cc49be04c834c6cfd44956937 | ocamlx(NCoq_Arith_Wf_nat) |
| = d23361a80cbd6b7dc87619fa986e6d97 | ocamlx(NCoq_Array_PArray) |
| = 1f993fa6a7728d4b28fa15bc4d731358 | ocamlx(NCoq_Bool_Bool) |
| = b2a8a1e038841ac4b90b3b0019be99f1 | ocamlx(NCoq_Bool_BoolEq) |
| = 3225b5cba06be812070ed33df3e39091 | ocamlx(NCoq_Bool_BoolOrder) |
| = e9987ca544d018da02e3d0af10c6da3a | ocamlx(NCoq_Bool_Bvector) |
| = 580e67c3326e12a52c2ee57bf2a6e38b | ocamlx(NCoq_Bool_DecBool) |
| = 9ce2038cebd972866901c2ec723274e8 | ocamlx(NCoq_Bool_IfProp) |
| = 01794fc1d6e61beafa655d666eaf3413 | ocamlx(NCoq_Bool_Sumbool) |
| = ba587eaaf6616e2535d484c19d51887c | ocamlx(NCoq_Bool_Zerob) |
| = c07bab05ffb9c14b1056220fb4119383 | ocamlx(NCoq_Classes_CEquivalence) |
| = e9362d06410931a6e7d14485a15d60ae | ocamlx(NCoq_Classes_CMorphisms) |
| = d8e1ffbee963b2fc4cd59a5ca44aa42e | ocamlx(NCoq_Classes_CRelationClasses) |
| = 21f377a9c40473ef6d3fc1b7221f5242 | ocamlx(NCoq_Classes_DecidableClass) |
| = c69257979fee8c10c01129676318fcdb | ocamlx(NCoq_Classes_EquivDec) |
| = a129b337ee9212319fc8cabbd0d8d330 | ocamlx(NCoq_Classes_Equivalence) |
| = 85a16683c7089918aa2ff44b2afaa9ba | ocamlx(NCoq_Classes_Init) |
| = 01cf8e2922f2a5371a5c0df4a577443e | ocamlx(NCoq_Classes_Morphisms) |
| = c0cf23e2dbd0d844ce7ffae520f7b6e5 | ocamlx(NCoq_Classes_Morphisms_Prop) |
| = 036535326aafdfc5c45b64a575d44ceb | ocamlx(NCoq_Classes_Morphisms_Relations) |
| = 48fa17d9f99bd99d602c8199c87d749a | ocamlx(NCoq_Classes_RelationClasses) |
| = b3a808a4d9217c087222bf9794dd836a | ocamlx(NCoq_Classes_RelationPairs) |
| = ac6add72b5630789de25e4273e8fe38f | ocamlx(NCoq_Classes_SetoidClass) |
| = 7b2166c579ca0397c4cab59025cda350 | ocamlx(NCoq_Classes_SetoidDec) |
| = eea19eb6e59384c0cdd38ab5a95f0cac | ocamlx(NCoq_Classes_SetoidTactics) |
| = 0e215f74d89099724717ad455ec22b35 | ocamlx(NCoq_Compat_AdmitAxiom) |
| = 6d1f6448893b88442ef8debd093b4147 | ocamlx(NCoq_Compat_Coq814) |
| = 1421003169d8cd7206c13a9279bb22f2 | ocamlx(NCoq_Compat_Coq815) |
| = 3ee62d9c4a57d3e4ef712d952cf17eed | ocamlx(NCoq_Compat_Coq816) |
| = 9abffa09f2c6f8c58811fa13204aa407 | ocamlx(NCoq_FSets_FMapAVL) |
| = 36957e5f2b54e9ca80fc41ea3591c946 | ocamlx(NCoq_FSets_FMapFacts) |
| = 5db4614610feb7e83230150b588ae7af | ocamlx(NCoq_FSets_FMapFullAVL) |
| = 51a8902204593e8d0530f961887a8cfc | ocamlx(NCoq_FSets_FMapInterface) |
| = 915ec96a0e74699127ff0673b7b2f030 | ocamlx(NCoq_FSets_FMapList) |
| = 4e9e9dd7ceaf6a5a04df4070876f0385 | ocamlx(NCoq_FSets_FMapPositive) |
| = 02e92700d6ddd34db8a698084c80e05e | ocamlx(NCoq_FSets_FMapWeakList) |
| = e6d6757ad415d9837b870aad9e01026c | ocamlx(NCoq_FSets_FMaps) |
| = 55cb4005d949743e3a8ad8b73ce19dba | ocamlx(NCoq_FSets_FSetAVL) |
| = 44dddfa20548b2fd27aa39b53be749a2 | ocamlx(NCoq_FSets_FSetBridge) |
| = f5012c601a492908a07a66b7b259e5f4 | ocamlx(NCoq_FSets_FSetCompat) |
| = 7684b99874a251e512a88952775daef5 | ocamlx(NCoq_FSets_FSetDecide) |
| = 3261ec953e5964947d6307c8c2a09530 | ocamlx(NCoq_FSets_FSetEqProperties) |
| = 88caa2b8743cb696384f6d81b9d46a49 | ocamlx(NCoq_FSets_FSetFacts) |
| = 8e68fcd9ae32abe69a0022c34da36206 | ocamlx(NCoq_FSets_FSetInterface) |
| = 976ba4d63cd79e22293bc72efa82cc7a | ocamlx(NCoq_FSets_FSetList) |
| = 5135943671cfd0f2d33bb0d72e243416 | ocamlx(NCoq_FSets_FSetPositive) |
| = ed649c6373fb4f08540ea5a9e4bb51ac | ocamlx(NCoq_FSets_FSetProperties) |
| = 590a5b70744cec91d7cc24c68c518dd7 | ocamlx(NCoq_FSets_FSetToFiniteSet) |
| = b123e82058513586bff4909297b0286e | ocamlx(NCoq_FSets_FSetWeakList) |
| = 4ea5e01be5aac6a92d6111a312729523 | ocamlx(NCoq_FSets_FSets) |
| = 3125777e5604fa4b18d236df25310d18 | ocamlx(NCoq_Floats_FloatAxioms) |
| = e2e479a308f866d3720f9d1b5c7bbab0 | ocamlx(NCoq_Floats_FloatClass) |
| = 9bb6518c204d30d095c4b106a2d5ee19 | ocamlx(NCoq_Floats_FloatLemmas) |
| = 2e0daa3c5f4d770e81cf3c3f94d3e99b | ocamlx(NCoq_Floats_FloatOps) |
| = 2cb6fc1d5ba42a05e0727a8dd0a7f339 | ocamlx(NCoq_Floats_Floats) |
| = 62868055fc2d71815d6aa07acebadb8c | ocamlx(NCoq_Floats_PrimFloat) |
| = 1d6265a0f1fddbe033396020738d33f7 | ocamlx(NCoq_Floats_SpecFloat) |
| = 6984c8ec2b67e22515464156aea27702 | ocamlx(NCoq_Init_Byte) |
| = 48bef1774c24de06f4788df1cc458a22 | ocamlx(NCoq_Init_Datatypes) |
| = 8f0fd8fc0b186567570bcc4ba05fba5e | ocamlx(NCoq_Init_Decimal) |
| = 9b1591bf4088ca3f8b2a1313cb9ce884 | ocamlx(NCoq_Init_Hexadecimal) |
| = 0f42f274405f8931bcd744b7479f9d9d | ocamlx(NCoq_Init_Logic) |
| = 3992523c4ca7fba0c55213b84d77671d | ocamlx(NCoq_Init_Ltac) |
| = d1b22dbf125594d15c039763555e44fd | ocamlx(NCoq_Init_Nat) |
| = 5aca3097f17872d4183e25a9bd14fc56 | ocamlx(NCoq_Init_Notations) |
| = 4feb363caa4c9240e0ebcbaf91203856 | ocamlx(NCoq_Init_Number) |
| = 936218c3d5d1b29715be0703a1f8c140 | ocamlx(NCoq_Init_Peano) |
| = c00e5b286e34ffa658466934a63b4617 | ocamlx(NCoq_Init_Prelude) |
| = 3b73ff2cf90a49f6a96088e51cab2ae6 | ocamlx(NCoq_Init_Specif) |
| = 45048a63bd1911428d34f9fe8582f2bd | ocamlx(NCoq_Init_Tactics) |
| = 97db779a0b52baba4ccf1ce8156e0093 | ocamlx(NCoq_Init_Tauto) |
| = 7b2d5d5e570fc76f5715cd683cca5609 | ocamlx(NCoq_Init_Wf) |
| = 1df58dc8f3254487ae4b572d841cab42 | ocamlx(NCoq_Lists_List) |
| = 6d1f484d0fbb0115c9f84b8f0d8726dc | ocamlx(NCoq_Lists_ListDec) |
| = f81ff324a6eeafd23a76f75cfbbc9847 | ocamlx(NCoq_Lists_ListSet) |
| = f48e5bde0394b6eafbf1bc39d9aebe10 | ocamlx(NCoq_Lists_ListTactics) |
| = b67e3289aaafd5bb74fda02c7c21c2ca | ocamlx(NCoq_Lists_SetoidList) |
| = 98692b4e13a92d3643fe5c68dcad38c3 | ocamlx(NCoq_Lists_SetoidPermutation) |
| = 3f665ba6b82be7d6ef05ffca69719130 | ocamlx(NCoq_Lists_StreamMemo) |
| = 02907b2a3a89ae063ec58311d4c7ea1e | ocamlx(NCoq_Lists_Streams) |
| = 7f62503a9d4134baf44a3246da257399 | ocamlx(NCoq_Logic_Adjointification) |
| = 968d66b3936112746d53d17861e28bfb | ocamlx(NCoq_Logic_Berardi) |
| = e8204c9feaec7f5d74f2a458ea8e24da | ocamlx(NCoq_Logic_ChoiceFacts) |
| = 4367e4a2fef064662908fef542118aff | ocamlx(NCoq_Logic_Classical) |
| = c889943735e1f0a802e4cf8583e9d08f | ocamlx(NCoq_Logic_ClassicalChoice) |
| = 92fc0c518d745ab5cc42f654a67605ad | ocamlx(NCoq_Logic_ClassicalDescription) |
| = 5a15914a9002b1c1ad1cc4365e3fd2ef | ocamlx(NCoq_Logic_ClassicalEpsilon) |
| = 120a795a322fba73120e8fcda4d2378d | ocamlx(NCoq_Logic_ClassicalFacts) |
| = cc473c0c38f1a9c108ab59a9d98cb7b9 | ocamlx(NCoq_Logic_ClassicalUniqueChoice) |
| = beec49f45f10eb30130f7dbdec8d5bef | ocamlx(NCoq_Logic_Classical_Pred_Type) |
| = 7be0ebd56c4d9573c4a045ebd2ff28d3 | ocamlx(NCoq_Logic_Classical_Prop) |
| = 8ebe690497b5ee4289e81ccd71e49fa1 | ocamlx(NCoq_Logic_ConstructiveEpsilon) |
| = c1a365e90043a251fb7e2dfc44697b2c | ocamlx(NCoq_Logic_Decidable) |
| = ded65578579d3b5a2b747c9adf93c7f0 | ocamlx(NCoq_Logic_Description) |
| = 9d337b58e4f7f66d921fec2b966cb56d | ocamlx(NCoq_Logic_Diaconescu) |
| = 76a7b7f0eabf7ce140c3739960fe685c | ocamlx(NCoq_Logic_Epsilon) |
| = 9875d019d29b803962f7512fa3a0efad | ocamlx(NCoq_Logic_Eqdep) |
| = ce9b453e6a51253597fcf127f38000dc | ocamlx(NCoq_Logic_EqdepFacts) |
| = c5d8c45ab5bb22745757c99aa3d8dba7 | ocamlx(NCoq_Logic_Eqdep_dec) |
| = b993a060266c649cf500b3f3a36c5c0c | ocamlx(NCoq_Logic_ExtensionalFunctionRepresentative) |
| = d493b1738ba9736933c2c52c13a87def | ocamlx(NCoq_Logic_ExtensionalityFacts) |
| = 582ca0243e6f183649e20dafde1565de | ocamlx(NCoq_Logic_FinFun) |
| = a4c9bca7aa8fc8659b6f61e8bb534199 | ocamlx(NCoq_Logic_FunctionalExtensionality) |
| = 1120338e07935de736965b989ae98d01 | ocamlx(NCoq_Logic_HLevels) |
| = 10d04718cd78af4e2ae9aaa7590c70ce | ocamlx(NCoq_Logic_Hurkens) |
| = 07c442bd2ad20f9579a30f57bef01841 | ocamlx(NCoq_Logic_IndefiniteDescription) |
| = f834e9f6256d4b0a93e8926a607dd371 | ocamlx(NCoq_Logic_JMeq) |
| = 0f49af3c133eb34ebd195b891247f517 | ocamlx(NCoq_Logic_ProofIrrelevance) |
| = b3f120df53e73f86f7df28897bd8749c | ocamlx(NCoq_Logic_ProofIrrelevanceFacts) |
| = b28028fd6399f97763ec91468f6436ae | ocamlx(NCoq_Logic_PropExtensionality) |
| = 8f5302151b84242fd6467c6360bd92e2 | ocamlx(NCoq_Logic_PropExtensionalityFacts) |
| = 58b2d7c91e0a4d2cc9954c7bfae9c7ea | ocamlx(NCoq_Logic_PropFacts) |
| = f2b5e71fddf662f34b584c79c20cd246 | ocamlx(NCoq_Logic_RelationalChoice) |
| = 0562c643a485a73bfd1c329587686d88 | ocamlx(NCoq_Logic_SetIsType) |
| = 5fd03da13bbf298ec47f3baaea0d0161 | ocamlx(NCoq_Logic_SetoidChoice) |
| = 38cc33605b581877a0ee9f0954313180 | ocamlx(NCoq_Logic_StrictProp) |
| = 118c68d82cd1c143e8d9ec14a2e3c515 | ocamlx(NCoq_Logic_WKL) |
| = 740bae944d78fbba1f3c09eec30c775e | ocamlx(NCoq_Logic_WeakFan) |
| = c7a2a39d6824fd8332865b8ad3d66913 | ocamlx(NCoq_MSets_MSetAVL) |
| = 0b7301209dd8a8bd4f0c53eb0a47fe0d | ocamlx(NCoq_MSets_MSetDecide) |
| = 89d5d8a1a0c7020a143aa61cde38dadb | ocamlx(NCoq_MSets_MSetEqProperties) |
| = ba93b8be4e6b999a17c696a14f44a921 | ocamlx(NCoq_MSets_MSetFacts) |
| = ad6cc74a391a04f48b87df00c0a4c6fe | ocamlx(NCoq_MSets_MSetGenTree) |
| = 9c5fce5325d3b9c5866eb26a9c29e933 | ocamlx(NCoq_MSets_MSetInterface) |
| = 3dc54f57878f48e54472e072ed0f773d | ocamlx(NCoq_MSets_MSetList) |
| = a1990a4e550c25940c72d923fc3a45ec | ocamlx(NCoq_MSets_MSetPositive) |
| = 15bb997e4e8d4354a5fed9a12ed01179 | ocamlx(NCoq_MSets_MSetProperties) |
| = 6a9fe555b0b1b32c5b06ff1cbf0055b3 | ocamlx(NCoq_MSets_MSetRBT) |
| = ca3c649293fb52708aadc6acdeddd89e | ocamlx(NCoq_MSets_MSetToFiniteSet) |
| = fc6658d467ba59067e219df8fe7d5394 | ocamlx(NCoq_MSets_MSetWeakList) |
| = eb4957a47eed56cd3d3eb3128dd4674f | ocamlx(NCoq_MSets_MSets) |
| = 7ba4416a677d16f71f4a1f8a524e4bac | ocamlx(NCoq_NArith_BinNat) |
| = 9a25309ee558df6882bdbc67e9706d44 | ocamlx(NCoq_NArith_BinNatDef) |
| = cdfddfb407d2d81300e1b10ff8624fbc | ocamlx(NCoq_NArith_NArith) |
| = 2a82b849fe6c8cd06dd49eddf83c6611 | ocamlx(NCoq_NArith_Ndec) |
| = 8dde15a9621c365e7d0fd4b44730d55f | ocamlx(NCoq_NArith_Ndigits) |
| = eefee5f4194c49b746a715837867d067 | ocamlx(NCoq_NArith_Ndist) |
| = e21c4a4d20b0a8259896ac67ea5a5685 | ocamlx(NCoq_NArith_Ndiv_def) |
| = 41362db198bedfca0651ad567099a883 | ocamlx(NCoq_NArith_Ngcd_def) |
| = ab9b7ad5316c3415b63f1b16a591af4e | ocamlx(NCoq_NArith_Nnat) |
| = f5d75c652c89c1ab27b1005f637c4e4c | ocamlx(NCoq_NArith_Nsqrt_def) |
| = 705a2faf43c8b794bada9d77e5de8642 | ocamlx(NCoq_Numbers_AltBinNotations) |
| = 8add6981da76a4e4049478832940e033 | ocamlx(NCoq_Numbers_BinNums) |
| = c1d6bf83fe3468be2f305d89803ad1fd | ocamlx(NCoq_Numbers_Cyclic_Abstract_CarryType) |
| = 17ce63599096461272dadefb68162134 | ocamlx(NCoq_Numbers_Cyclic_Abstract_CyclicAxioms) |
| = 2471c8c04c192214646c402a5e77fe2b | ocamlx(NCoq_Numbers_Cyclic_Abstract_DoubleType) |
| = 7456806f85357bc627081dd97da335a8 | ocamlx(NCoq_Numbers_Cyclic_Abstract_NZCyclic) |
| = b81d7b240e7b82e57261aaa262e41c4a | ocamlx(NCoq_Numbers_Cyclic_Int31_Cyclic31) |
| = 21b752a7d94c07c9bfe3673d9db493d7 | ocamlx(NCoq_Numbers_Cyclic_Int31_Int31) |
| = 21cae92f2022d65e06036065a3c69ebf | ocamlx(NCoq_Numbers_Cyclic_Int31_Ring31) |
| = 751986616ab28cc3cf5f80ffc2140c49 | ocamlx(NCoq_Numbers_Cyclic_Int63_Cyclic63) |
| = 1e47089492eb25d5fb0d8b8dbf675d58 | ocamlx(NCoq_Numbers_Cyclic_Int63_PrimInt63) |
| = a9267e8f163861bc16e06f64775aa875 | ocamlx(NCoq_Numbers_Cyclic_Int63_Ring63) |
| = 271557738e64f4ee86a1e6b9bf22ffae | ocamlx(NCoq_Numbers_Cyclic_Int63_Sint63) |
| = 47d05ba228d69065a7baa05c4038d51e | ocamlx(NCoq_Numbers_Cyclic_Int63_Uint63) |
| = fdc8a9da5eef602f6c548d652a00f178 | ocamlx(NCoq_Numbers_Cyclic_ZModulo_ZModulo) |
| = 314c764044000fffa12f05a5a93ab501 | ocamlx(NCoq_Numbers_DecimalFacts) |
| = 740d414fbf6695189446b026ef42707e | ocamlx(NCoq_Numbers_DecimalN) |
| = 35d02c0d438ad05cfbf68a246a5734a2 | ocamlx(NCoq_Numbers_DecimalNat) |
| = 0777ebca274162d2a95aef1dbb07fb26 | ocamlx(NCoq_Numbers_DecimalPos) |
| = 013f928b481ace92bf022d2c219cba1c | ocamlx(NCoq_Numbers_DecimalQ) |
| = 02e30f14af4e997c34de7fb24ff92eaf | ocamlx(NCoq_Numbers_DecimalR) |
| = 3d962ee0120f5505bc829bc162f07b1d | ocamlx(NCoq_Numbers_DecimalString) |
| = 634c5a03851b8ef5d345ec2f1b1d6441 | ocamlx(NCoq_Numbers_DecimalZ) |
| = 19e8de93e26d6e77d222eded35699f8d | ocamlx(NCoq_Numbers_HexadecimalFacts) |
| = 5bbe181022063c9a07ac17e20021108a | ocamlx(NCoq_Numbers_HexadecimalN) |
| = cde6acfd2181772d6cd5a78e5d145fbf | ocamlx(NCoq_Numbers_HexadecimalNat) |
| = a6319aa15388ee6e79a15004bd5aa433 | ocamlx(NCoq_Numbers_HexadecimalPos) |
| = 2e451d6bffc4abc32cffcfa229fe34e3 | ocamlx(NCoq_Numbers_HexadecimalQ) |
| = ed3643963718af9df61a9febd2608c84 | ocamlx(NCoq_Numbers_HexadecimalR) |
| = d07eca91412481560d3da58e095e005b | ocamlx(NCoq_Numbers_HexadecimalString) |
| = 2e0427d73306a63a60fda9263cdc3a5d | ocamlx(NCoq_Numbers_HexadecimalZ) |
| = 0b7c819d6571b9855552eb45da78ef09 | ocamlx(NCoq_Numbers_Integer_Abstract_ZAdd) |
| = ea86bfd95114445d642291c266cd1763 | ocamlx(NCoq_Numbers_Integer_Abstract_ZAddOrder) |
| = 85caea6a336cc266a5d6c0b01606237b | ocamlx(NCoq_Numbers_Integer_Abstract_ZAxioms) |
| = b5dd80b603dacb63d65ca22b6c4282c3 | ocamlx(NCoq_Numbers_Integer_Abstract_ZBase) |
| = cea60b2d915676a9a76f42421e962177 | ocamlx(NCoq_Numbers_Integer_Abstract_ZBits) |
| = ebc9eec9ddff5a8caae0456048b746c4 | ocamlx(NCoq_Numbers_Integer_Abstract_ZDivEucl) |
| = 8611115e8d2dfda5ff75a022d8c66971 | ocamlx(NCoq_Numbers_Integer_Abstract_ZDivFloor) |
| = 4f6288e001a3b7abed3d8393c82e88d5 | ocamlx(NCoq_Numbers_Integer_Abstract_ZDivTrunc) |
| = 6e3f353a668cf5279a732b14ef44e1ec | ocamlx(NCoq_Numbers_Integer_Abstract_ZGcd) |
| = 49c1d9aa7e05b78fe17584537e8b7903 | ocamlx(NCoq_Numbers_Integer_Abstract_ZLcm) |
| = f43fa345c41b33887d9bf0c9cb74d5d0 | ocamlx(NCoq_Numbers_Integer_Abstract_ZLt) |
| = 13c9c9b7e62cbc324e5499ee2ff23cea | ocamlx(NCoq_Numbers_Integer_Abstract_ZMaxMin) |
| = 9d7a947920d68de184564d6754a414cf | ocamlx(NCoq_Numbers_Integer_Abstract_ZMul) |
| = a578b2636afe6283bc51ce5e1953039d | ocamlx(NCoq_Numbers_Integer_Abstract_ZMulOrder) |
| = 59e83ff4107e2c17ec869d1dd7dac233 | ocamlx(NCoq_Numbers_Integer_Abstract_ZParity) |
| = ebc494eefa66c03deff1b093675032a6 | ocamlx(NCoq_Numbers_Integer_Abstract_ZPow) |
| = ee9d1df6d26a89d2d275c42c942e1e84 | ocamlx(NCoq_Numbers_Integer_Abstract_ZProperties) |
| = 74beb7501a807fb914dde9ce4edf72d2 | ocamlx(NCoq_Numbers_Integer_Abstract_ZSgnAbs) |
| = 8bfcf13b6d077d7c1bf1c68b99e700a7 | ocamlx(NCoq_Numbers_Integer_Binary_ZBinary) |
| = a058621671bf5512a74c7751cbacf1bd | ocamlx(NCoq_Numbers_Integer_NatPairs_ZNatPairs) |
| = e44e0fa7b4f21d1b0e22f38a457f3fe8 | ocamlx(NCoq_Numbers_NaryFunctions) |
| = d8ef2f3f75c5fefb3fe699d459dd67aa | ocamlx(NCoq_Numbers_NatInt_NZAdd) |
| = 292f9c4e8d65da993e441300fc1e02a2 | ocamlx(NCoq_Numbers_NatInt_NZAddOrder) |
| = e6eb5a847b7a55b46e9ec4101dbca59f | ocamlx(NCoq_Numbers_NatInt_NZAxioms) |
| = 6a84cc3e60bc682a0eeb33ead097ccca | ocamlx(NCoq_Numbers_NatInt_NZBase) |
| = 5589359c10b35ca612051befe86f7482 | ocamlx(NCoq_Numbers_NatInt_NZBits) |
| = 1d5e4ad951c71aca14bd33bbde4a8372 | ocamlx(NCoq_Numbers_NatInt_NZDiv) |
| = bda1d3209f7c420152f959d37aa39658 | ocamlx(NCoq_Numbers_NatInt_NZDomain) |
| = feeab3bc76a6831e76590a846ad23b46 | ocamlx(NCoq_Numbers_NatInt_NZGcd) |
| = faf827af166cec241623941a24cb0938 | ocamlx(NCoq_Numbers_NatInt_NZLog) |
| = a0260de68b09452c4fbdac110903e506 | ocamlx(NCoq_Numbers_NatInt_NZMul) |
| = 6257068173261f8ba808e9894e39b076 | ocamlx(NCoq_Numbers_NatInt_NZMulOrder) |
| = 92d24b6aee8b67e2f0866dd6d5849ad0 | ocamlx(NCoq_Numbers_NatInt_NZOrder) |
| = 67721c8cce8f75977922bbab06f2ca71 | ocamlx(NCoq_Numbers_NatInt_NZParity) |
| = cb028f84d5326b912ccb320fe41bef0a | ocamlx(NCoq_Numbers_NatInt_NZPow) |
| = dd5c7e883cf5a075a6ebdcdc1d65b50f | ocamlx(NCoq_Numbers_NatInt_NZProperties) |
| = c8c1c274b2156314467a4988020e3194 | ocamlx(NCoq_Numbers_NatInt_NZSqrt) |
| = 408f0bca64a6f648056ecb697697a5ab | ocamlx(NCoq_Numbers_Natural_Abstract_NAdd) |
| = fdb8ed7f223a11e772d8d2bb6da078bb | ocamlx(NCoq_Numbers_Natural_Abstract_NAddOrder) |
| = 60951c34b88a406ebd2347c4503c7931 | ocamlx(NCoq_Numbers_Natural_Abstract_NAxioms) |
| = 243ed89a100ba78382218421b3de8300 | ocamlx(NCoq_Numbers_Natural_Abstract_NBase) |
| = 2a116ebeddbb3dc703a488f7be7582db | ocamlx(NCoq_Numbers_Natural_Abstract_NBits) |
| = e0aa6083b758442ba3bcc3c793959156 | ocamlx(NCoq_Numbers_Natural_Abstract_NDefOps) |
| = 8c81c832cabd08f742dc7cb67f032e68 | ocamlx(NCoq_Numbers_Natural_Abstract_NDiv) |
| = 6bf629e7cb0074e47475d1dcc0ecebb8 | ocamlx(NCoq_Numbers_Natural_Abstract_NGcd) |
| = e40c8e6a176cdf46e3d410353fcefad3 | ocamlx(NCoq_Numbers_Natural_Abstract_NIso) |
| = 8a43b43b2087b0d9d69db3cf63b9d692 | ocamlx(NCoq_Numbers_Natural_Abstract_NLcm) |
| = abece63c22a0e8c5b0968e106112c766 | ocamlx(NCoq_Numbers_Natural_Abstract_NLog) |
| = ebcda4dbab53852375f579cd840bff41 | ocamlx(NCoq_Numbers_Natural_Abstract_NMaxMin) |
| = 5c484fb699670d8ef1f74cc0e8ef3eaf | ocamlx(NCoq_Numbers_Natural_Abstract_NMulOrder) |
| = bda152a69aa98e5d25e0a50a5824f983 | ocamlx(NCoq_Numbers_Natural_Abstract_NOrder) |
| = ba4c0e1f44ac5baa4e1418db5d56add0 | ocamlx(NCoq_Numbers_Natural_Abstract_NParity) |
| = 9d91aa952b450888ec2a96e7d085c970 | ocamlx(NCoq_Numbers_Natural_Abstract_NPow) |
| = 2c80a4fcd86dc173453274003671ff10 | ocamlx(NCoq_Numbers_Natural_Abstract_NProperties) |
| = 4a61197ed4db888d59e4c754f74bb95a | ocamlx(NCoq_Numbers_Natural_Abstract_NSqrt) |
| = 8db7837d50ee19063fbdfa6decb27709 | ocamlx(NCoq_Numbers_Natural_Abstract_NStrongRec) |
| = 7a1fc03a9290d208527a6bdf1e8fb965 | ocamlx(NCoq_Numbers_Natural_Abstract_NSub) |
| = fd2f7d5ea90c37c7e726ed31a9c18edd | ocamlx(NCoq_Numbers_Natural_Binary_NBinary) |
| = bb05cadca298cb251222b71f4c7f8cfe | ocamlx(NCoq_Numbers_Natural_Peano_NPeano) |
| = c72c20a211f2e8030aff0297aa50c9df | ocamlx(NCoq_Numbers_NumPrelude) |
| = 3128d0965efc9c3922a2768691979019 | ocamlx(NCoq_PArith_BinPos) |
| = 5318850f61235747b108603277c4d92a | ocamlx(NCoq_PArith_BinPosDef) |
| = 142ab9df7de9a2b1bb3f4b17d693db43 | ocamlx(NCoq_PArith_PArith) |
| = dfe0828faef0c25f500a6eb203fc0d42 | ocamlx(NCoq_PArith_POrderedType) |
| = 7e7b99692293bb0ebd2b01fd9147fcea | ocamlx(NCoq_PArith_Pnat) |
| = 7f73dd85461491d3ec08c31634b320dc | ocamlx(NCoq_Program_Basics) |
| = e6dce7ea1280bc595892a498836fe58a | ocamlx(NCoq_Program_Combinators) |
| = 2dcef2f663d42c397a82b44b977f5dd6 | ocamlx(NCoq_Program_Equality) |
| = 421dfaae59d53d36d2d83af7c3bc2caf | ocamlx(NCoq_Program_Program) |
| = b41b7d858cabd7bd21eefc7f1b1cea88 | ocamlx(NCoq_Program_Subset) |
| = c99c5db7829160f6c95fc5579fa42d97 | ocamlx(NCoq_Program_Syntax) |
| = 109a9b26e2ddf3ddf86e8aca71c1fbc2 | ocamlx(NCoq_Program_Tactics) |
| = a7f16a97ab5adcd72860821380b38b4a | ocamlx(NCoq_Program_Utils) |
| = 7dace864465067c594619d1929fddb9f | ocamlx(NCoq_Program_Wf) |
| = 4571d712c109bb153ee9313343ce89af | ocamlx(NCoq_QArith_QArith) |
| = 59972d070274c26c613076141b8f5efd | ocamlx(NCoq_QArith_QArith_base) |
| = 40805945e1428ca3aee4b20e6d37fca1 | ocamlx(NCoq_QArith_QOrderedType) |
| = d82f3e529a0800c29db44f6d4407ed57 | ocamlx(NCoq_QArith_Qabs) |
| = a051db9a64cf8c5953127979774f83a9 | ocamlx(NCoq_QArith_Qcabs) |
| = 52833736e6ef49ec44e1d6ef813d3428 | ocamlx(NCoq_QArith_Qcanon) |
| = 1d6c3802a7c6e441128c48399551161c | ocamlx(NCoq_QArith_Qfield) |
| = 03acf025851b6f73009adddb6dca5ea2 | ocamlx(NCoq_QArith_Qminmax) |
| = 503f1653dad8470a8eeedc48c8875fe0 | ocamlx(NCoq_QArith_Qpower) |
| = 4c32c255271313a4c7be873c72564131 | ocamlx(NCoq_QArith_Qreals) |
| = b17c7b8860f1a3b33185f5ad22d01224 | ocamlx(NCoq_QArith_Qreduction) |
| = d456934d78cf3d489f51507bc87950ca | ocamlx(NCoq_QArith_Qring) |
| = a2c2c295e28813a854df7afce79bc0dc | ocamlx(NCoq_QArith_Qround) |
| = ea1a50648040db1fc03e44f2ce109dc9 | ocamlx(NCoq_Reals_Abstract_ConstructiveAbs) |
| = 6b4eccf939f8ba698bf63a6e680d3795 | ocamlx(NCoq_Reals_Abstract_ConstructiveLUB) |
| = fd09d002d197d0d93059c0556c1fc92a | ocamlx(NCoq_Reals_Abstract_ConstructiveLimits) |
| = a56fc79924d846ddca181f2a9c44a5ab | ocamlx(NCoq_Reals_Abstract_ConstructiveMinMax) |
| = 9714f3389300fdf8c916afca33941e4a | ocamlx(NCoq_Reals_Abstract_ConstructivePower) |
| = ec4f7bfbb0cab0e8ccb67e983c225179 | ocamlx(NCoq_Reals_Abstract_ConstructiveReals) |
| = c11717b904bdf09a67e53b57d3267103 | ocamlx(NCoq_Reals_Abstract_ConstructiveRealsMorphisms) |
| = 4f031b738c4559f29812133f8f753de0 | ocamlx(NCoq_Reals_Abstract_ConstructiveSum) |
| = 9a688ced14abafebd0934fc249f3e97e | ocamlx(NCoq_Reals_Alembert) |
| = 1c446b776c391c503e038d736639e610 | ocamlx(NCoq_Reals_AltSeries) |
| = ef0218354d0a8ea3618fcf669d04e075 | ocamlx(NCoq_Reals_ArithProp) |
| = 14bc5c44e8b8d93e8b3bcfd7b2affc58 | ocamlx(NCoq_Reals_Binomial) |
| = 2256f04721621bf551467e254f6bc7dc | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyAbs) |
| = 9a7cd1b3084d5a4e60c495e549ae269b | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyReals) |
| = 91b706d00102dc6400d9d38df2e9e39f | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) |
| = 07c16572e5cd65bd03f8facdcd22da8d | ocamlx(NCoq_Reals_Cauchy_ConstructiveExtra) |
| = f5b08c482636289437235ecac0dcf319 | ocamlx(NCoq_Reals_Cauchy_ConstructiveRcomplete) |
| = cfae2c8e70d32795e6f5df624eddb1ab | ocamlx(NCoq_Reals_Cauchy_PosExtra) |
| = 07460aef25252a66602c4bf73889e171 | ocamlx(NCoq_Reals_Cauchy_QExtra) |
| = 208f3be5404af1f1712480b0c000013b | ocamlx(NCoq_Reals_Cauchy_prod) |
| = 28f2a0589e70359a27e8254282b6caf5 | ocamlx(NCoq_Reals_ClassicalConstructiveReals) |
| = 25b2c6417d103a281f7c422c09c9d868 | ocamlx(NCoq_Reals_ClassicalDedekindReals) |
| = 243d7b25157c4a3a04de5cca082632a2 | ocamlx(NCoq_Reals_Cos_plus) |
| = 2055456463ef7102cc47d35a506ae561 | ocamlx(NCoq_Reals_Cos_rel) |
| = 36f4c9eb286b25a8c0f8b63b7e3b9e34 | ocamlx(NCoq_Reals_DiscrR) |
| = b88cb7bd70bb14a3b009036f9023c0f8 | ocamlx(NCoq_Reals_Exp_prop) |
| = 5b253c67661fa2b15b0c49114896ddc5 | ocamlx(NCoq_Reals_Integration) |
| = e5c11aa32cbaf804f7681aa83865f906 | ocamlx(NCoq_Reals_MVT) |
| = c2bdb8fdba3c1ac9133fa24f685a91e0 | ocamlx(NCoq_Reals_Machin) |
| = df3736bc909aacab23f2ab7de845061a | ocamlx(NCoq_Reals_NewtonInt) |
| = e7d98f58e7d9c78850eccaada7577ef1 | ocamlx(NCoq_Reals_PSeries_reg) |
| = 102963e75d3a1b40de084277bc899fce | ocamlx(NCoq_Reals_PartSum) |
| = be7bf7b7f9876ec3e738e7733fbae5e5 | ocamlx(NCoq_Reals_RIneq) |
| = 31f65d54810a1380fb5cc801022aa34b | ocamlx(NCoq_Reals_RList) |
| = d78f0158a45f4ff4635909eac21e1cfe | ocamlx(NCoq_Reals_ROrderedType) |
| = 4488b67cac2abe396f209463440124a6 | ocamlx(NCoq_Reals_R_Ifp) |
| = 6dfa53c4544de9b60de93335e324463b | ocamlx(NCoq_Reals_R_sqr) |
| = 5c48034ee4ffa23c88a0ab73e8468e47 | ocamlx(NCoq_Reals_R_sqrt) |
| = 12df97b43cf782e928c6dcf0b817b2c1 | ocamlx(NCoq_Reals_Ranalysis) |
| = 5f31b672f247e208983cc8a07d744a5f | ocamlx(NCoq_Reals_Ranalysis1) |
| = ad7cf3ccb51a5003a2fbcf6f203815fa | ocamlx(NCoq_Reals_Ranalysis2) |
| = 8c9d51d6de36ff019f187b2a6169b9d9 | ocamlx(NCoq_Reals_Ranalysis3) |
| = e87d980c7135074ee948f92249bb5a0f | ocamlx(NCoq_Reals_Ranalysis4) |
| = a9b936ce627712a74fe1a206acff3f1a | ocamlx(NCoq_Reals_Ranalysis5) |
| = 3d7210e3f86ab6869ad3846910f802ac | ocamlx(NCoq_Reals_Ranalysis_reg) |
| = 8e3838f78bdb87c67a95a57bccdacdce | ocamlx(NCoq_Reals_Ratan) |
| = 82b1fbaea58e389fb323156e10c1daa7 | ocamlx(NCoq_Reals_Raxioms) |
| = 9cdda1d451acf20175f683488860b867 | ocamlx(NCoq_Reals_Rbase) |
| = b5bacab41ebee12e582641208b3804c2 | ocamlx(NCoq_Reals_Rbasic_fun) |
| = db8a9b0d0d697f025617b6696bbf4cda | ocamlx(NCoq_Reals_Rcomplete) |
| = 6250c86ce1ae948d89e2d38750933a81 | ocamlx(NCoq_Reals_Rdefinitions) |
| = e8243b62b89e42f21ca87e82416c7f6c | ocamlx(NCoq_Reals_Rderiv) |
| = 6fe37eed89a4c9aa108b0cc27efa6f2a | ocamlx(NCoq_Reals_Reals) |
| = c40c84e1b8310839b0ec2594aefb4af0 | ocamlx(NCoq_Reals_Rfunctions) |
| = da14bcda53ce73a66a87a3e9875fd7fb | ocamlx(NCoq_Reals_Rgeom) |
| = d5e49bdd1b1b08f335035df7fe5bf6b1 | ocamlx(NCoq_Reals_RiemannInt) |
| = 11f20dbeb56d7e66690c24f2e0373bb6 | ocamlx(NCoq_Reals_RiemannInt_SF) |
| = 7547514c6635b760ed5959a54dc008c0 | ocamlx(NCoq_Reals_Rlimit) |
| = 785fab8b7e79629c5ce35604316cd4cd | ocamlx(NCoq_Reals_Rlogic) |
| = 696240043f6e5af311c781dd0728aab6 | ocamlx(NCoq_Reals_Rminmax) |
| = d85fd81b7617041d2925146d6219cca6 | ocamlx(NCoq_Reals_Rpow_def) |
| = 09746c1708cc34b221f84d74c69c2e28 | ocamlx(NCoq_Reals_Rpower) |
| = 061a7512cedcd084922e725b73f33d48 | ocamlx(NCoq_Reals_Rprod) |
| = 015068ff05dc6bb5a9898fadb3d4057a | ocamlx(NCoq_Reals_Rregisternames) |
| = ec6813775c4d6634dc7b414a78a3869e | ocamlx(NCoq_Reals_Rseries) |
| = b9d12ef2c3c6bddcf929352d58752816 | ocamlx(NCoq_Reals_Rsigma) |
| = 5a7cd1cefe1bf4fb81cc624ecce228fc | ocamlx(NCoq_Reals_Rsqrt_def) |
| = 3bb8f3b74bb4bcbf4aa9382f1f3c6dc5 | ocamlx(NCoq_Reals_Rtopology) |
| = 048a8d6c72c8e17b64647ebdd8deb1f8 | ocamlx(NCoq_Reals_Rtrigo) |
| = a8da13a4d98242f199d7acb967799511 | ocamlx(NCoq_Reals_Rtrigo1) |
| = 9b8f76dd7b9ff6f05613a1114dd98fb3 | ocamlx(NCoq_Reals_Rtrigo_alt) |
| = 4e14b9249a5a30b4875ebc68c45ae89b | ocamlx(NCoq_Reals_Rtrigo_calc) |
| = b20290a45591f8c75fa0bbef86e285a9 | ocamlx(NCoq_Reals_Rtrigo_def) |
| = 59479b6db5cc01e4a6a89cff65243375 | ocamlx(NCoq_Reals_Rtrigo_facts) |
| = 269c6301d59a49eefe09854eaf82a4cf | ocamlx(NCoq_Reals_Rtrigo_fun) |
| = 77c815b8e640563ebed104a6c7d77b78 | ocamlx(NCoq_Reals_Rtrigo_reg) |
| = 2a65c8cec6240b4a0cda894943cebe4e | ocamlx(NCoq_Reals_Runcountable) |
| = c200e894b7ec7bc7172b1700c576a50f | ocamlx(NCoq_Reals_SeqProp) |
| = b4f802b712c8a78aa9f32d640fa8d487 | ocamlx(NCoq_Reals_SeqSeries) |
| = e5b3abdfc5f0cf629132b02bde0367eb | ocamlx(NCoq_Reals_SplitAbsolu) |
| = e686448181e80e9d3409de4dec514ad7 | ocamlx(NCoq_Reals_SplitRmult) |
| = 067f5db8a1a792147f42cee031a139e0 | ocamlx(NCoq_Reals_Sqrt_reg) |
| = a2f0de754cb95c70ba8ebd823a557fd8 | ocamlx(NCoq_Relations_Operators_Properties) |
| = 75098338c60af3e61fc91b0f081d9f75 | ocamlx(NCoq_Relations_Relation_Definitions) |
| = 5dae909141fd7e2e2eb7c178ea423318 | ocamlx(NCoq_Relations_Relation_Operators) |
| = 46377a62864a88f22e59eccb34cda146 | ocamlx(NCoq_Relations_Relations) |
| = 49ffba28ed0dfed4c8ba48bf24611baf | ocamlx(NCoq_Setoids_Setoid) |
| = 97a17ff8199ffc93c5d61dd4c309ffa9 | ocamlx(NCoq_Sets_Classical_sets) |
| = baf9366469b34e2e60423cda9eb4bf0b | ocamlx(NCoq_Sets_Constructive_sets) |
| = a6021cd11bc24e22668b7a2186e04948 | ocamlx(NCoq_Sets_Cpo) |
| = 4f9fcdafb0bc44fe4c3e6a1568da4f60 | ocamlx(NCoq_Sets_Ensembles) |
| = 085568192da6c46d6827ede09e1d3098 | ocamlx(NCoq_Sets_Finite_sets) |
| = a5c1114fd3b6665e9dfbdabc1d15f032 | ocamlx(NCoq_Sets_Finite_sets_facts) |
| = 308ca26dbb10f9f630384899afd7bb9d | ocamlx(NCoq_Sets_Image) |
| = 27f7639ad166352fa4be1ca6c2a6a7ca | ocamlx(NCoq_Sets_Infinite_sets) |
| = e5d48ce0f7a9ef11668eabca3eaf673f | ocamlx(NCoq_Sets_Integers) |
| = 5797506bf1640140d4ccefce869063e7 | ocamlx(NCoq_Sets_Multiset) |
| = d0afade2877591cd16bb34b4f623cadd | ocamlx(NCoq_Sets_Partial_Order) |
| = 3c2a198ee4e3d75ea98932097669d2e4 | ocamlx(NCoq_Sets_Permut) |
| = 36da9ea18ff4d1b86fe0c3fc7edb3866 | ocamlx(NCoq_Sets_Powerset) |
| = 861730ef91bda65e5430c338b6f2e7d8 | ocamlx(NCoq_Sets_Powerset_Classical_facts) |
| = 518cb97af20310546ee9a1801608e6b0 | ocamlx(NCoq_Sets_Powerset_facts) |
| = cc7673c380548bdfba9aeda108b1d55b | ocamlx(NCoq_Sets_Relations_1) |
| = 62399008e57d123ac151dd8c1661b19e | ocamlx(NCoq_Sets_Relations_1_facts) |
| = a387a5467b7eefd9813ed76c43129821 | ocamlx(NCoq_Sets_Relations_2) |
| = 769cfcb3ada0d53b7b3427dfb73e7890 | ocamlx(NCoq_Sets_Relations_2_facts) |
| = acd68514d858de84a3ec6d69ce37d3fe | ocamlx(NCoq_Sets_Relations_3) |
| = d5a0d25bd4e5ea3eea1898361d9c5dc2 | ocamlx(NCoq_Sets_Relations_3_facts) |
| = 3da78813da797ac80ce40d2b4587ae91 | ocamlx(NCoq_Sets_Uniset) |
| = e931eb86e30b65d55edfba5bbccde224 | ocamlx(NCoq_Sorting_CPermutation) |
| = 68af432a053e8c30d9ebe428e257e148 | ocamlx(NCoq_Sorting_Heap) |
| = 7c1e84bb3e471fa341fc0abfb833a67d | ocamlx(NCoq_Sorting_Mergesort) |
| = bec3d48cdc10c9115b93ac39223969ca | ocamlx(NCoq_Sorting_PermutEq) |
| = 03d22444beb8b8e2ceb35702f082c1af | ocamlx(NCoq_Sorting_PermutSetoid) |
| = a62c98fdccb4cb28f1a5756769f2c7f3 | ocamlx(NCoq_Sorting_Permutation) |
| = 8b0e4d09ef29650243abf7c0bc93f92f | ocamlx(NCoq_Sorting_Sorted) |
| = 1889888a1a19edb0eb9aa74afae44d20 | ocamlx(NCoq_Sorting_Sorting) |
| = d00537e6b1d5a0a1b61c7a2d7c161899 | ocamlx(NCoq_Strings_Ascii) |
| = d4ce641fa5a1be82204b93d324fbbf3a | ocamlx(NCoq_Strings_BinaryString) |
| = 0a7974c0321c3529e08072cb346795bb | ocamlx(NCoq_Strings_Byte) |
| = 27641592cfc2e1119454359e78869bd8 | ocamlx(NCoq_Strings_ByteVector) |
| = cc1f055e84fc969f25486ea3620efd41 | ocamlx(NCoq_Strings_HexString) |
| = 4ac6b55fe925e6c731b2612bbad958ee | ocamlx(NCoq_Strings_OctalString) |
| = 96a152ddfdd74d599e33b24652c9d2a2 | ocamlx(NCoq_Strings_String) |
| = 1c4006bf18af770b256b23d0d6d14dd6 | ocamlx(NCoq_Structures_DecidableType) |
| = ebccb670f65592aa447b96462209e1c5 | ocamlx(NCoq_Structures_DecidableTypeEx) |
| = b6944d6dc8de32a7d05a0ae3d3933309 | ocamlx(NCoq_Structures_Equalities) |
| = 18d4ee17de8bd910d0d0b0c1c15af0a6 | ocamlx(NCoq_Structures_EqualitiesFacts) |
| = 69606eca62017a4e1cc45543bea3d6f0 | ocamlx(NCoq_Structures_GenericMinMax) |
| = ed10b4050fb45c9c38f26cba16823121 | ocamlx(NCoq_Structures_OrderedType) |
| = a5cce0130e1892807ec8db620cf7dea3 | ocamlx(NCoq_Structures_OrderedTypeAlt) |
| = b79aac476edf259ed1253e002bf62907 | ocamlx(NCoq_Structures_OrderedTypeEx) |
| = 05603878606ca8206b1f7e58638202a0 | ocamlx(NCoq_Structures_Orders) |
| = 3ec49e3413896470b7fa7af0eec9c415 | ocamlx(NCoq_Structures_OrdersAlt) |
| = 784df8ddbfb220ed625cc620d0f6c54f | ocamlx(NCoq_Structures_OrdersEx) |
| = c711efdeac9ae540baa1839263511dc3 | ocamlx(NCoq_Structures_OrdersFacts) |
| = 518d59a5e7cc2373d0329abdd7580192 | ocamlx(NCoq_Structures_OrdersLists) |
| = 3c8909b9feed6782d3e4e45d0f52fe78 | ocamlx(NCoq_Structures_OrdersTac) |
| = a5c138132086bfcc7fae45ac3976d629 | ocamlx(NCoq_Unicode_Utf8) |
| = 0ad7ae58b3542a977db7b7839464db7f | ocamlx(NCoq_Unicode_Utf8_core) |
| = d9f211d7f8fb842be81979d8e175ee37 | ocamlx(NCoq_Vectors_Fin) |
| = 6bd28d1273c8d7f33e3f59a1207049ea | ocamlx(NCoq_Vectors_Vector) |
| = 2c9dbddcff004a23fa4d336f13b8ab08 | ocamlx(NCoq_Vectors_VectorDef) |
| = 01e45de2f943e86f657d4571537d452f | ocamlx(NCoq_Vectors_VectorEq) |
| = a6aa862ed8c759008581029ca01e617c | ocamlx(NCoq_Vectors_VectorSpec) |
| = fa7721b261fc94dc02522f563a0bcc5f | ocamlx(NCoq_Wellfounded_Disjoint_Union) |
| = 0521c2943b397cb86194f79a3f870755 | ocamlx(NCoq_Wellfounded_Inclusion) |
| = be63a7a59f208c656ef0ba8d1f6b62f2 | ocamlx(NCoq_Wellfounded_Inverse_Image) |
| = 9fb26a2bc02034e58b1280e253edd32f | ocamlx(NCoq_Wellfounded_Lexicographic_Exponentiation) |
| = 00e1f24f980600123a7dbae2a725c443 | ocamlx(NCoq_Wellfounded_Lexicographic_Product) |
| = 9f5e3d8b131d5ae8c479ad58d602aeb7 | ocamlx(NCoq_Wellfounded_Transitive_Closure) |
| = 57d65ccc137fb7bd499a6de273cb7970 | ocamlx(NCoq_Wellfounded_Union) |
| = 34c5b2a68b3b712770188bfc6c3aa107 | ocamlx(NCoq_Wellfounded_Well_Ordering) |
| = b6edc07405c15cbedcbcadc0a7dee6c1 | ocamlx(NCoq_Wellfounded_Wellfounded) |
| = beb16bfad8352a59c2e71b3805cd02ee | ocamlx(NCoq_ZArith_BinInt) |
| = 71a9b559330273c334afbdf3d9291a61 | ocamlx(NCoq_ZArith_BinIntDef) |
| = 515416359e7c6fb15c6a95bb5eb47629 | ocamlx(NCoq_ZArith_Int) |
| = aaac379255ca49098c23eb4cf42c18cc | ocamlx(NCoq_ZArith_Wf_Z) |
| = a50163b98459993b2f9d4fbc9dc1fae9 | ocamlx(NCoq_ZArith_ZArith) |
| = 8a05cd56ab60142b530ae6036f94b4dc | ocamlx(NCoq_ZArith_ZArith_base) |
| = c400cd47f09d60e1acc1c6d92923b094 | ocamlx(NCoq_ZArith_ZArith_dec) |
| = 3116a4762f6006bdfe6e6142a1cf0878 | ocamlx(NCoq_ZArith_Zabs) |
| = b987e292cf3ccb13995721ccf9216174 | ocamlx(NCoq_ZArith_Zbool) |
| = 69610cf2e6355dbed0852dea90642e68 | ocamlx(NCoq_ZArith_Zcompare) |
| = f625b355ce5b9f9868eca9d4e2e1e154 | ocamlx(NCoq_ZArith_Zcomplements) |
| = 91738aa1def5497981f7a23dfdfbb46a | ocamlx(NCoq_ZArith_Zdigits) |
| = 6775c8456f7d73351988b73b0b7cbe68 | ocamlx(NCoq_ZArith_Zdiv) |
| = 93093221a09f6c12963acc66283c37d1 | ocamlx(NCoq_ZArith_Zeuclid) |
| = 34b74a95da2e19c3cce3970edf4610ae | ocamlx(NCoq_ZArith_Zeven) |
| = 635ce9486cff8abac77bf2c2a688496a | ocamlx(NCoq_ZArith_Zgcd_alt) |
| = 37e748818d43bab55aa610cd510a4fd6 | ocamlx(NCoq_ZArith_Zhints) |
| = 1bdaab9031e513fe386a536351de41e9 | ocamlx(NCoq_ZArith_Zmax) |
| = 2f512dcec0709add2c4c6e0e2d8b3c54 | ocamlx(NCoq_ZArith_Zmin) |
| = dd6f56104041cd677de7d9b69fd593fb | ocamlx(NCoq_ZArith_Zminmax) |
| = 67a6f77298d7bafd6d5cd57053ee219a | ocamlx(NCoq_ZArith_Zmisc) |
| = 0a078c1237546a542de512d1347f0ed0 | ocamlx(NCoq_ZArith_Znat) |
| = 61b83dfdd6202c113665e5e5bb55ff76 | ocamlx(NCoq_ZArith_Znumtheory) |
| = 7b6e34c0a8d2877f767a39355a236b90 | ocamlx(NCoq_ZArith_Zorder) |
| = 99ad2884d7f051b79c4a83548184f426 | ocamlx(NCoq_ZArith_Zpow_alt) |
| = 5c6855fad4eff98c175e04baee47df60 | ocamlx(NCoq_ZArith_Zpow_def) |
| = 01d03b9c73ad009949932af63eb1b65b | ocamlx(NCoq_ZArith_Zpow_facts) |
| = a07754735f4ae25357c27b5f311f1e95 | ocamlx(NCoq_ZArith_Zpower) |
| = 8275baf6fb7ef71539756ad928f42e7f | ocamlx(NCoq_ZArith_Zquot) |
| = 9cd7679b2eae47f18e16ae42816c2241 | ocamlx(NCoq_ZArith_Zwf) |
| = d86d5b3fc4cd7154ebd700b51b686dc5 | ocamlx(NCoq_ZArith_auxiliary) |
| = 63da5aea7534699686d7ba7c3a5ee895 | ocamlx(NCoq_btauto_Algebra) |
| = 69a59179299b3dc0c55a2befdc34a070 | ocamlx(NCoq_btauto_Btauto) |
| = 01a99dd29cda6436efb0445a04166689 | ocamlx(NCoq_btauto_Reflect) |
| = c6447d8902d7291125b3915d5c0547d8 | ocamlx(NCoq_derive_Derive) |
| = 30647b3608a53c824bd2f6a6ca5fd913 | ocamlx(NCoq_extraction_ExtrHaskellBasic) |
| = 7230a1c729cf5575868878244964eecb | ocamlx(NCoq_extraction_ExtrHaskellNatInt) |
| = 62b3ab1b66ef84a7e5ec9bce7369222d | ocamlx(NCoq_extraction_ExtrHaskellNatInteger) |
| = 7ac2d70e33fbb1c93d9830d3f6cf13a9 | ocamlx(NCoq_extraction_ExtrHaskellNatNum) |
| = dfc625b8e80c732df17d654d16034ab5 | ocamlx(NCoq_extraction_ExtrHaskellString) |
| = bae5e33180e8cfb4342008f1f8e0f0f5 | ocamlx(NCoq_extraction_ExtrHaskellZInt) |
| = ed5d838e3c4ff20057c2dd6e21b356f8 | ocamlx(NCoq_extraction_ExtrHaskellZInteger) |
| = 524a87c4f8773ee558093069b4982d81 | ocamlx(NCoq_extraction_ExtrHaskellZNum) |
| = b6d4be952146fd917775180962c65c7d | ocamlx(NCoq_extraction_ExtrOCamlFloats) |
| = 2304fd766fd6185825161bc815c00906 | ocamlx(NCoq_extraction_ExtrOCamlInt63) |
| = 9cdcc3fa4a2d9a931b23ff0f75d2b066 | ocamlx(NCoq_extraction_ExtrOCamlPArray) |
| = 58a5235a4db38d3859186d86f9bb4d0b | ocamlx(NCoq_extraction_ExtrOcamlBasic) |
| = e6ede00d2d9558d290d50e4c49942ff6 | ocamlx(NCoq_extraction_ExtrOcamlChar) |
| = 820515ce85793f0a9faec385848577f4 | ocamlx(NCoq_extraction_ExtrOcamlIntConv) |
| = ca95137849f787788551eb73ebd50ed4 | ocamlx(NCoq_extraction_ExtrOcamlNatBigInt) |
| = 870013cc220ac73844dd3b22eec6a65d | ocamlx(NCoq_extraction_ExtrOcamlNatInt) |
| = 9dfbee8cb25b5b8c7abd51f817a605b3 | ocamlx(NCoq_extraction_ExtrOcamlNativeString) |
| = 17b93abb3958708c9134239341d58cfc | ocamlx(NCoq_extraction_ExtrOcamlString) |
| = f4f617fef78e83cc2f7f2350662eda05 | ocamlx(NCoq_extraction_ExtrOcamlZBigInt) |
| = cc601d79e4a712c8b6e7e857b982b7e0 | ocamlx(NCoq_extraction_ExtrOcamlZInt) |
| = ac231f3b4a635cb8bf2a04f3e205a157 | ocamlx(NCoq_extraction_Extraction) |
| = 7546182191907ba9b717e40e38f494a2 | ocamlx(NCoq_funind_FunInd) |
| = 142cd08585de1382690b5a64e10d6e17 | ocamlx(NCoq_funind_Recdef) |
| = b479b55eeaca3dbbc4ab37874d6ae146 | ocamlx(NCoq_micromega_DeclConstant) |
| = 0291f3553e77a8e99d87568015c168d7 | ocamlx(NCoq_micromega_Env) |
| = 75a619148d51684c38f5c98c6ec8997f | ocamlx(NCoq_micromega_EnvRing) |
| = 1b5c823115d668506b7c108e6cdca698 | ocamlx(NCoq_micromega_Fourier) |
| = 3baf30eac22686ac1a7a3724434e08ca | ocamlx(NCoq_micromega_Fourier_util) |
| = 1b4532d7cd1c87c9f05c12fddc584c74 | ocamlx(NCoq_micromega_Lia) |
| = 396e3de41553acc00891a3c72d560af5 | ocamlx(NCoq_micromega_Lqa) |
| = 20c4a67b7ec70c127e12bdfad10b8e85 | ocamlx(NCoq_micromega_Lra) |
| = 3746ad1bd90c3ba69f821c986dfdac76 | ocamlx(NCoq_micromega_MExtraction) |
| = b31a1d07b9e068483c18bb3fa5f6efa4 | ocamlx(NCoq_micromega_OrderedRing) |
| = 5d82d98b1d79afc3b3cc6695892ce4e7 | ocamlx(NCoq_micromega_Psatz) |
| = ed3813166691de2b2e1d46e34f9d5bfe | ocamlx(NCoq_micromega_QMicromega) |
| = 08a0fc1d6fb33b3347ea1ee2c586fecb | ocamlx(NCoq_micromega_RMicromega) |
| = 75d40865f0e42ecb7269faa96574384a | ocamlx(NCoq_micromega_Refl) |
| = 1d091b39977b7b36c34f33c9c46cf18c | ocamlx(NCoq_micromega_RingMicromega) |
| = 3c0cde2d1dd2593c1ca22e9850e9b3c5 | ocamlx(NCoq_micromega_Tauto) |
| = c26e9a04d7cd09772007e312dfeabce3 | ocamlx(NCoq_micromega_VarMap) |
| = 2d9895524b48d040ab2ba163d0881351 | ocamlx(NCoq_micromega_ZArith_hints) |
| = 9c7563342668b18fc053eb8dadc93914 | ocamlx(NCoq_micromega_ZCoeff) |
| = d6f9beaa9c9083a26660a66b5b963801 | ocamlx(NCoq_micromega_ZMicromega) |
| = 35293d019b46da0dd09aff2cf02e9c3c | ocamlx(NCoq_micromega_Zify) |
| = bfca594fb98ae9f67d71ad9f5124d325 | ocamlx(NCoq_micromega_ZifyBool) |
| = e1854f0c8057c419635b19b16d709035 | ocamlx(NCoq_micromega_ZifyClasses) |
| = 26aef0a1ab9d27ad64ce238d5cbb0246 | ocamlx(NCoq_micromega_ZifyComparison) |
| = 2eb09f630a7300ec65b0a7460f803164 | ocamlx(NCoq_micromega_ZifyInst) |
| = d47dcd3015949e126c5addd6088fd94c | ocamlx(NCoq_micromega_ZifyN) |
| = e60ed8432a04c701af58385b519a913e | ocamlx(NCoq_micromega_ZifyNat) |
| = a12f7341ca4de283e399901a76fb44d0 | ocamlx(NCoq_micromega_ZifyPow) |
| = f3f9b03bdd47ea5f7cc4a2b2b42def03 | ocamlx(NCoq_micromega_ZifySint63) |
| = b3fb0e408d7ce7018fe41404d7ec763f | ocamlx(NCoq_micromega_ZifyUint63) |
| = fb5a6c71feeedaf314ceb78ef0e571e1 | ocamlx(NCoq_micromega_Ztac) |
| = d21dd78c231a0532629adc19c1c99652 | ocamlx(NCoq_nsatz_Nsatz) |
| = e1823be8d9be54388a78046a6fd168d6 | ocamlx(NCoq_nsatz_NsatzTactic) |
| = e7091bf8bd546d68676d0b4b9cffad6c | ocamlx(NCoq_omega_OmegaLemmas) |
| = 639e0c370e6fa3a751260c0e9a647655 | ocamlx(NCoq_omega_PreOmega) |
| = 33b7185d071b6fc7a195478bbde741e4 | ocamlx(NCoq_rtauto_Bintree) |
| = 20eb893f99c8771ab6ced6c6e420c16d | ocamlx(NCoq_rtauto_Rtauto) |
| = d606481c3bdd95744d07f5ee0077b0b7 | ocamlx(NCoq_setoid_ring_Algebra_syntax) |
| = 616bea7743d92fb52f8d43112e1c47ff | ocamlx(NCoq_setoid_ring_ArithRing) |
| = 0383468c217c2d4fc7143f7f630dc896 | ocamlx(NCoq_setoid_ring_BinList) |
| = 05c41a9e8023b6e6dc95d50790a72116 | ocamlx(NCoq_setoid_ring_Cring) |
| = 2302e9894b31167f6d13533fd8df4615 | ocamlx(NCoq_setoid_ring_Field) |
| = 70848be00bc26625a287ee755a723a3a | ocamlx(NCoq_setoid_ring_Field_tac) |
| = 621c60c5d068e3da88ecd7229e098d29 | ocamlx(NCoq_setoid_ring_Field_theory) |
| = 58d3bf0e022df75dcdc081e00510a751 | ocamlx(NCoq_setoid_ring_InitialRing) |
| = cf52db31d77293ea65431b6d86280f5c | ocamlx(NCoq_setoid_ring_Integral_domain) |
| = c5163f26c7883d7a0145990827849b91 | ocamlx(NCoq_setoid_ring_NArithRing) |
| = 0987c9dae2163bd24b0c3a04651aa571 | ocamlx(NCoq_setoid_ring_Ncring) |
| = 8f14914622fce3bf94e29ff7c1241526 | ocamlx(NCoq_setoid_ring_Ncring_initial) |
| = 64f62c839462631ccef05f13786b6384 | ocamlx(NCoq_setoid_ring_Ncring_polynom) |
| = be32b068f79a76cec9cb8b746c0dac29 | ocamlx(NCoq_setoid_ring_Ncring_tac) |
| = 959a5864c6fc8774a9e14166f90b5f53 | ocamlx(NCoq_setoid_ring_RealField) |
| = f67db40d6fa33c810f83cbae3424d85f | ocamlx(NCoq_setoid_ring_Ring) |
| = cfa25b239271a9ba4452d3107f3d9a63 | ocamlx(NCoq_setoid_ring_Ring_base) |
| = 0ecaee9059a308ce7bc74d4dd8abe59c | ocamlx(NCoq_setoid_ring_Ring_polynom) |
| = 2e49e2710735e64c0158b6e1c9b984ef | ocamlx(NCoq_setoid_ring_Ring_tac) |
| = 37bb2d33a0894c0938204f4327482c2a | ocamlx(NCoq_setoid_ring_Ring_theory) |
| = be56fa94369c6f8c1cc18cfde5c95407 | ocamlx(NCoq_setoid_ring_Rings_Q) |
| = 8aa75f9a3ed34981d3c46f2cca2c1519 | ocamlx(NCoq_setoid_ring_Rings_R) |
| = fdbe1800a0c73e14382dbca06171bdfc | ocamlx(NCoq_setoid_ring_Rings_Z) |
| = 5cb4d1c854867a4e20ab81f61a371b1b | ocamlx(NCoq_setoid_ring_ZArithRing) |
| = 91efdccb63ea11a2b5308384f8a1d06e | ocamlx(NCoq_ssr_ssrbool) |
| = ea887ef9deb91ec71e7131446c5330d1 | ocamlx(NCoq_ssr_ssrclasses) |
| = 3f88ba486c4b334b5bcfd254da185d35 | ocamlx(NCoq_ssr_ssreflect) |
| = a8f833b44bbf152a9096698cd60ce092 | ocamlx(NCoq_ssr_ssrfun) |
| = 4dd6473c7749727ca65a81056660e249 | ocamlx(NCoq_ssr_ssrsetoid) |
| = 293019e76246f0d4104698ddfe4c84b2 | ocamlx(NCoq_ssr_ssrunder) |
| = 6e19a8cbf6a43a838a1b52e8650c5475 | ocamlx(NCoq_ssrmatching_ssrmatching) |
| = 679c22e04b2b3d6bf4debca75609865f | ocamlx(NLtac2_Array) |
| = dc701349f01370a1a56c09e3ab565da7 | ocamlx(NLtac2_Bool) |
| = ebab2dd43115201e30b05dba1dc6b598 | ocamlx(NLtac2_Char) |
| = 1992d02bc074c26005696fe35a11a692 | ocamlx(NLtac2_Constr) |
| = 1d525d2761a2cbee81fd0b53085b1ee3 | ocamlx(NLtac2_Control) |
| = 436f162868611085577f4bdfaf6a64d0 | ocamlx(NLtac2_Env) |
| = 59e9c4f3f015fe6e461045b04a480ec6 | ocamlx(NLtac2_Fresh) |
| = 47f532aede05b0daef313ae293773dbd | ocamlx(NLtac2_Ident) |
| = e6c97141c26d2d0aedf4d937f9508d96 | ocamlx(NLtac2_Ind) |
| = 122766025f51313f27fabe95e1bdfd3c | ocamlx(NLtac2_Init) |
| = e81a2e90fb431a3b0710a8cdde38c756 | ocamlx(NLtac2_Int) |
| = fccd2588096d08e50f54cf92b9a8844c | ocamlx(NLtac2_List) |
| = 0064c5c6b1786f8072d13d0c6a41aca7 | ocamlx(NLtac2_Ltac1) |
| = 284f9b5dff0ed847c86d539d101a5ebe | ocamlx(NLtac2_Ltac2) |
| = a720be0dbafcc8549335d224de9c6365 | ocamlx(NLtac2_Message) |
| = 37c4bf25b99239eee8ff11d6a9b7dfe3 | ocamlx(NLtac2_Notations) |
| = ea2d58686d1e3512c0dd0a200c3f363f | ocamlx(NLtac2_Option) |
| = 6f07c372e83a0a00a798d3138cae3deb | ocamlx(NLtac2_Pattern) |
| = 56c43c552832a09339699afcee04e34a | ocamlx(NLtac2_Printf) |
| = 0a6f05a13ad3ebb4288cb178e23b00c3 | ocamlx(NLtac2_Std) |
| = 901c39fc24d3c9fd0360ca28ff4689bf | ocamlx(NLtac2_String) |
نحوه نصب
نصب پکیج rpm coq:
dnf install coq-8.16.1-3.fc38.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/.build-id |
| /usr/lib/.build-id/00 |
| /usr/lib/.build-id/00/3da6b7a4016ee785daa0b64e24f13a74223d60 |
| /usr/lib/.build-id/00/8f81ffc26fb331f33b553959d8c04b1e9b02f9 |
| /usr/lib/.build-id/00/be8a41c28aad7a5ee8eaff3499958782b8a277 |
| /usr/lib/.build-id/00/e0efd7e661001bfbe6f1a8a3cc2b1c07254617 |
| /usr/lib/.build-id/01 |
| /usr/lib/.build-id/01/490ece13d9132d7e00f5b4d4084f980a55d0eb |
| /usr/lib/.build-id/01/6e4507e51d8b45715cc2116e424a0450d8cf97 |
| /usr/lib/.build-id/02 |
| /usr/lib/.build-id/02/4ce3ae642509eebb5dbea45bed5ff35e4d295e |
| /usr/lib/.build-id/02/62b1249e52fa35cbb4dd6a9742b12653a59ba1 |
| /usr/lib/.build-id/02/de1b95a12509d2343165fb2fabf68a534ddf2f |
| /usr/lib/.build-id/02/ed0005b6fd4db47eec5f132032001ab22afc1d |
| /usr/lib/.build-id/02/ff8fc660f5a6717eef770223eed8d172d2e41e |
| /usr/lib/.build-id/03 |
| /usr/lib/.build-id/03/122f58859eb3a3c16206e8c0af2132b912d4b6 |
| /usr/lib/.build-id/04 |
| /usr/lib/.build-id/04/3613a5123ea3100c969a30c93fa951a8310a6a |
| /usr/lib/.build-id/05 |
| /usr/lib/.build-id/05/004bc8df1a2595d10ff3dd2fdf1ef677af2bf1 |
| /usr/lib/.build-id/05/4f5f9c71bd54c91be8c24884e6feab171f6b34 |
| /usr/lib/.build-id/06 |
| /usr/lib/.build-id/06/616bccc9157a45605a7cc13aa23dcf62871b32 |
| /usr/lib/.build-id/07 |
| /usr/lib/.build-id/07/22c87fd0dfc4a36d4270203dbfee9d327a6737 |
| /usr/lib/.build-id/07/99556528c538b851af0f82bbe3d0cb52dfd013 |
| /usr/lib/.build-id/07/d550ec6a198a3a80aceee6339794a85177e11b |
| /usr/lib/.build-id/08 |
| /usr/lib/.build-id/08/5cf35627fc349a732ed776a57ecbd07dcbb3d8 |
| /usr/lib/.build-id/08/70165832c4358d2f5cc386af5ecb741dd57cd7 |
| /usr/lib/.build-id/08/ca6cbaf36287fc0188176e82d044c328ff68cb |
| /usr/lib/.build-id/08/d75338900d85af8a98b533d048186aed809d36 |
| /usr/lib/.build-id/09 |
| /usr/lib/.build-id/09/36150964a0ac5252b8bc036bcb89649f992b20 |
| /usr/lib/.build-id/09/7c0857594fbda815cf48f16a8ea39c8c67a8f0 |
| /usr/lib/.build-id/0a |
| /usr/lib/.build-id/0a/69f76c1df819d6c7ee8676670477b2cb6681f6 |
| /usr/lib/.build-id/0a/8862045ef61971969c99530309d3843325412f |
| /usr/lib/.build-id/0a/a5bb2b87b0206f539554d035e833f7b2076950 |
| /usr/lib/.build-id/0a/e37c02c565c528eb5f6887978e6a549acbc9c3 |
| /usr/lib/.build-id/0a/f4777c82253a81d3927778dd5e35d57c19aaf7 |
| /usr/lib/.build-id/0b |
| /usr/lib/.build-id/0b/246d9d03215969b2f422d6ed1c1557299c70f1 |
| /usr/lib/.build-id/0b/acc4b2aa07a12ea63e46db543e41fe67eb9b8a |
| /usr/lib/.build-id/0b/fdd92bd59d977cdb57995ae05ba89c064ea615 |
| /usr/lib/.build-id/0c |
| /usr/lib/.build-id/0c/bf52d610c96bda987ec6f01948c842e45a7d20 |
| /usr/lib/.build-id/0d |
| /usr/lib/.build-id/0d/0f2f5c3f41e445092e7d2bfc05fa32665a31ba |
| ... and 5540 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-01-24 |
Rebuild OCaml packages for F38
|
| 2023-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 2022-11-26 |
Version 8.16.1
|
| 2022-10-06 |
Remove the manual, which has a non-free license (bz 2132567)
|
| 2022-09-16 |
Version 8.16.0
|
| 2022-08-15 |
Convert License tags to SPDX
|
| 2022-07-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-07-19 |
Enable documentation build with Sphinx 5+
|
| 2022-07-19 |
Remove i686 support
|
| 2022-06-20 |
Rebuild for antlr4-project 4.10.1
|
| 2022-06-19 |
Upgrade to 8.15.2
|
| 2022-03-25 |
Version 8.15.1
|
| 2022-02-28 |
Version 8.15.0
|
| 2022-02-04 |
OCaml 4.13.1 rebuild to remove package notes
|
| 2022-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
| 2021-12-27 |
Rebuild for ocaml-lablgtk3 3.1.2
|