معرفی شرکت ها
coq-8.16.1-1.fc37.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 37 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | coq |
| نام فایل بسته | coq-8.16.1-1.fc37.aarch64.rpm |
| نسخه بسته | 8.16.1 |
| انتشار بسته | 1.fc37 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Sun 27 Nov 2022 06 |
| هاست سازنده | buildvm-a64-06.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 41M |
| حجم نصب | 223.286M |
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-1.fc37 | 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) |
| = 6d7bf11af14ea68354925f3a37387930 | 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 |
| = 162669b09093ea11100da3962b876e9b | ocamlx(CamlinternalLazy) |
| = 78f64c40d7c2a2c94cc4c1e6332eee6b | ocamlx(NCoq_Arith_Arith_prebase) |
| = 9bff12f2b7e2410cc16db0892b191542 | ocamlx(NCoq_Arith_Compare_dec) |
| = b7c25f16f2759f277c47d54389dea017 | ocamlx(NCoq_Arith_Factorial) |
| = 0c2031d176e9ca1291e7e8c9fb2e7bf6 | ocamlx(NCoq_Arith_PeanoNat) |
| = 56134fe13d8b0d100d91b832f748b04f | ocamlx(NCoq_Arith_Wf_nat) |
| = 3f077edca92ed17f44c66137c4136c04 | ocamlx(NCoq_Bool_Bool) |
| = 9b3dab0a96d612d13988ec1eb9eb369c | ocamlx(NCoq_Bool_BoolOrder) |
| = 3c45839065198210cf0a34532e616970 | ocamlx(NCoq_Bool_Bvector) |
| = 94c6c66d8e09cc2b9bb94baeee0fc270 | ocamlx(NCoq_Bool_Sumbool) |
| = f8be62b9ab9b06761f650c1e30a4fb26 | ocamlx(NCoq_Classes_CMorphisms) |
| = 0b07ff6c3bc333226afe5a560809e304 | ocamlx(NCoq_Classes_CRelationClasses) |
| = d3346cb2d29c1755f87ff785752152fa | ocamlx(NCoq_Classes_DecidableClass) |
| = 304d2be0b6a49437c18e9a7ece6f58c5 | ocamlx(NCoq_Classes_Equivalence) |
| = 7b2cd9ce8169515988a2c6d3b4e3c91f | ocamlx(NCoq_Classes_Morphisms) |
| = 0c5ee8a4abc2b4fafa54e01866cc092b | ocamlx(NCoq_Classes_Morphisms_Prop) |
| = f0e432a6bbf3693c8b98755f373acfee | ocamlx(NCoq_Classes_RelationClasses) |
| = 631f93bbcbbab5cc4f9af88f32c9490a | ocamlx(NCoq_Classes_SetoidClass) |
| = 2e0e7fc7346599d098c9036241b259f4 | ocamlx(NCoq_FSets_FMapInterface) |
| = 46f0dfc53d3910882674a4639146db86 | ocamlx(NCoq_Floats_FloatClass) |
| = 02ed060a107cc58dc1503d8309b2b129 | ocamlx(NCoq_Floats_FloatOps) |
| = 554dca032ddd05d4db47f1996e04a786 | ocamlx(NCoq_Floats_PrimFloat) |
| = fd37b8215ffafeee4443a1d3161e8643 | ocamlx(NCoq_Floats_SpecFloat) |
| = d1054209aa843beed30cbf4b82019b6b | ocamlx(NCoq_Init_Byte) |
| = cdbab4b0bd137a1bc00d54561f3dd061 | ocamlx(NCoq_Init_Datatypes) |
| = 636b8cdbceeb3e68bb02f9470b91a251 | ocamlx(NCoq_Init_Decimal) |
| = 5feee94ec814cead937229e0856ece30 | ocamlx(NCoq_Init_Hexadecimal) |
| = 41d65a6a2b1c55d6e2f10cf6ded4b229 | ocamlx(NCoq_Init_Logic) |
| = 64321e52710eeaa352d709d8ccafe6cf | ocamlx(NCoq_Init_Nat) |
| = 5dd0f1c7e9d404fd233af3703fa1709f | ocamlx(NCoq_Init_Number) |
| = cba4622459520c2191e3261009133553 | ocamlx(NCoq_Init_Peano) |
| = deb5ee0a23525d72a763da2cf5baa68d | ocamlx(NCoq_Init_Specif) |
| = 7a14fbe9da451350e4b4b57c11f0957f | ocamlx(NCoq_Init_Wf) |
| = 8907851d368bbc622072348a2536b0a3 | ocamlx(NCoq_Lists_List) |
| = 6d0a57529c35ac53a0b36fbe503d5e89 | ocamlx(NCoq_Lists_SetoidList) |
| = 11704a5c9bce3ff9665fb08903d61428 | ocamlx(NCoq_Lists_Streams) |
| = 84be7bad5b16d3986deddabf7c07339d | ocamlx(NCoq_Logic_ConstructiveEpsilon) |
| = e0cf36c346c7f4382a54c29de9453f41 | ocamlx(NCoq_Logic_Decidable) |
| = c3ee3a54072ef117b83e1c1205c3a755 | ocamlx(NCoq_Logic_Eqdep) |
| = 71bcb77bcbbd1a1ece133a3c372d5ad5 | ocamlx(NCoq_Logic_EqdepFacts) |
| = c00abc10dba2d5e2cc96ad3f125d97d9 | ocamlx(NCoq_Logic_Eqdep_dec) |
| = 39f43689f21ba5cab724e55b75421117 | ocamlx(NCoq_Logic_JMeq) |
| = 06019dcd3d73b70fee7856c610beff54 | ocamlx(NCoq_Logic_WeakFan) |
| = 8030f1e067c21d77c7fc3b4522cf5f47 | ocamlx(NCoq_NArith_BinNat) |
| = 680c3e52106a767c471692413393b0aa | ocamlx(NCoq_NArith_BinNatDef) |
| = e0612228d82543c6ffaaa7a7352608e9 | ocamlx(NCoq_Numbers_BinNums) |
| = e35dd3d1e8e8fed6ec94bf1bf54cb6c0 | ocamlx(NCoq_Numbers_Cyclic_Abstract_CarryType) |
| = f4f2702a6ce0d0097275faaeb8716e2b | ocamlx(NCoq_Numbers_Cyclic_Abstract_CyclicAxioms) |
| = 138889d17153c3e465c9d9fa54b7f31c | ocamlx(NCoq_Numbers_Cyclic_Abstract_DoubleType) |
| = ea583ee471ff6b8804f2cf98295c4e89 | ocamlx(NCoq_Numbers_Cyclic_Int31_Cyclic31) |
| = cf84686e16eed2e526f437f546e12175 | ocamlx(NCoq_Numbers_Cyclic_Int31_Int31) |
| = 22958d9e57fd774a920705cfa67d98ff | ocamlx(NCoq_Numbers_Cyclic_Int63_Cyclic63) |
| = 9ce6ec33f364e74521e6b6371384aa06 | ocamlx(NCoq_Numbers_Cyclic_Int63_PrimInt63) |
| = 317e0bab40587fb24ed3ea7f55df9aa0 | ocamlx(NCoq_Numbers_Cyclic_Int63_Sint63) |
| = 47671fbb0dc63e07227db1958df3b47b | ocamlx(NCoq_Numbers_Cyclic_Int63_Uint63) |
| = 14f581e2fc70319263812665daf08ccb | ocamlx(NCoq_Numbers_HexadecimalPos) |
| = 29ff38614d02d547af2edc8d670f7ac6 | ocamlx(NCoq_PArith_BinPos) |
| = 3980e9e0a2dd33ece250ba07bd3c4fcf | ocamlx(NCoq_Program_Basics) |
| = 456351b997402af974012e6e6aa3b336 | ocamlx(NCoq_QArith_QArith_base) |
| = 9cd3f0b91f8a82cf27b699108a03bae6 | ocamlx(NCoq_QArith_QOrderedType) |
| = ed0644b3dc118fc7577f6ecf79221ad4 | ocamlx(NCoq_QArith_Qabs) |
| = be23aac8b4553f4a475892eca03d9011 | ocamlx(NCoq_QArith_Qcanon) |
| = ad27627a49727e56c6581ad6e26334b5 | ocamlx(NCoq_QArith_Qreduction) |
| = 9b8bb299b8267b86c57c580241105dcc | ocamlx(NCoq_Reals_Abstract_ConstructiveLimits) |
| = 311b7cbf4d5abd04a942553b968321f5 | ocamlx(NCoq_Reals_Abstract_ConstructiveReals) |
| = 38c0dd9f41fc6422586c0181bbe9f871 | ocamlx(NCoq_Reals_Alembert) |
| = 0f346c97c28da6da363415797793a692 | ocamlx(NCoq_Reals_AltSeries) |
| = 14b3c0046868659624f354fc7321d359 | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyAbs) |
| = a8feba1793dd5d13d48d623a76c1ba33 | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyReals) |
| = 3f3127d85bc3ef240feaadede724a152 | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) |
| = 6249e9d51671ed188385d1374af6f2e5 | ocamlx(NCoq_Reals_Cauchy_ConstructiveRcomplete) |
| = 20a344b02ce2df4dd2f327bc3e9c5206 | ocamlx(NCoq_Reals_Cauchy_QExtra) |
| = ace642a0a89874c46b62609556a3c508 | ocamlx(NCoq_Reals_RIneq) |
| = 522bd8464d10f1aadd49c5b1485f060e | ocamlx(NCoq_Reals_RList) |
| = ba5e386966d30e08c90a0fe18b812177 | ocamlx(NCoq_Reals_ROrderedType) |
| = 8645e3c7e95ee4f2171a8e92402e59ac | ocamlx(NCoq_Reals_R_sqrt) |
| = 911b5cbc6d6d49ab29fa96b2a7c4b0ce | ocamlx(NCoq_Reals_Ranalysis1) |
| = 7412678d1c37539eff79e008cf41b08b | ocamlx(NCoq_Reals_Ratan) |
| = 80568ed9e9a149082c650a7cf8ad34f2 | ocamlx(NCoq_Reals_Raxioms) |
| = f3c63708716b1be443577d544b2fdd63 | ocamlx(NCoq_Reals_Rbasic_fun) |
| = 84bd14c8e9395f487c90a05f13b6e658 | ocamlx(NCoq_Reals_Rdefinitions) |
| = 45cc64c6698941aff63d466ca009ccd9 | ocamlx(NCoq_Reals_Rderiv) |
| = 18722884c56dce32f5a6bff4d0bf700a | ocamlx(NCoq_Reals_Rfunctions) |
| = e068ec79f5674d4b44438f5eb4b282f1 | ocamlx(NCoq_Reals_RiemannInt_SF) |
| = 2fe8aead618dc3acf0f2fbacf6e1814f | ocamlx(NCoq_Reals_Rlimit) |
| = 63d9e580ca45c02f19fb451274431496 | ocamlx(NCoq_Reals_Rpow_def) |
| = 5ec316c7dffa9d55c22c9b679520202e | ocamlx(NCoq_Reals_Rseries) |
| = ffdafa21ff8bdab6c805e0ef98d0f8b4 | ocamlx(NCoq_Reals_Rsqrt_def) |
| = 3752b872fbe641ab1b5a771b12005f02 | ocamlx(NCoq_Reals_Rtrigo1) |
| = e0510e286f27c0d338c07e75f63f82b9 | ocamlx(NCoq_Reals_Rtrigo_alt) |
| = 41b0966455f957153bbdb998819754a3 | ocamlx(NCoq_Reals_Rtrigo_def) |
| = ad2e6a91bc03244df5a8468095d51cb8 | ocamlx(NCoq_Reals_Rtrigo_fun) |
| = 651f2282fe2be8d3e167a8a1fcee9430 | ocamlx(NCoq_Relations_Relation_Definitions) |
| = 66735741ab238cfe4d78f58375def8af | ocamlx(NCoq_Relations_Relation_Operators) |
| = fcc1ea5be1d2c82a97e7555e30c58a7e | ocamlx(NCoq_Setoids_Setoid) |
| = d927bddf040bf07ff5275ad1f1d0610a | ocamlx(NCoq_Sets_Ensembles) |
| = 1d12beb43bf26953a73bf034974ddfae | ocamlx(NCoq_Sets_Multiset) |
| = cde41276269788b08e823c9cf63bb8ef | ocamlx(NCoq_Sets_Partial_Order) |
| = 643f4fddef7173502227bd917b55e161 | ocamlx(NCoq_Sets_Relations_1) |
| = b5c76d9a54a284bd95432ac6cf6d1e8c | ocamlx(NCoq_Sets_Relations_2) |
| = 9c1bcaa6a27cc20300e1870f54f9a487 | ocamlx(NCoq_Sorting_Sorted) |
| = ad07f53afd17fbcad57f327094f99621 | ocamlx(NCoq_Strings_Ascii) |
| = 0573075625e5601e037d6669a3c02561 | ocamlx(NCoq_Strings_ByteVector) |
| = b72e67f1b18d37a5dd1f4d36cd060c19 | ocamlx(NCoq_Strings_String) |
| = ebde4686f01de7fefd06ed65f95e1d27 | ocamlx(NCoq_Structures_GenericMinMax) |
| = 8458d0ef9136a6ca92a06c4a655f21c5 | ocamlx(NCoq_Structures_OrderedType) |
| = abee3ad6c3d4d7951f41b162613f1cc6 | ocamlx(NCoq_Structures_OrderedTypeEx) |
| = 34294c8ad59e0582977bda0a092e14a1 | ocamlx(NCoq_Structures_OrdersEx) |
| = 6c64b90a3f07b62cfce267587dc44cf4 | ocamlx(NCoq_Vectors_Fin) |
| = 1c16721cda37a803eebacc2848ed7a11 | ocamlx(NCoq_Vectors_Vector) |
| = 3bb8a3ea60c68894a165f25ae9109ae5 | ocamlx(NCoq_Vectors_VectorDef) |
| = c5819406f2b38380a828e2e94d8411bc | ocamlx(NCoq_Vectors_VectorEq) |
| = 12ebb9a47e3c5d2cc5cbc8c778804b90 | ocamlx(NCoq_Vectors_VectorSpec) |
| = c4a9b46f1cfaa7b4241dfdf95e572d2b | ocamlx(NCoq_ZArith_BinInt) |
| = 0ee832e10a1d1662253874add500f87c | ocamlx(NCoq_ZArith_BinIntDef) |
| = f9e4d5f5dcbdf68d6515538337ca1b69 | ocamlx(NCoq_ZArith_Wf_Z) |
| = 7fc232044fc24cccd04e1999e0a296c9 | ocamlx(NCoq_ZArith_ZArith_dec) |
| = fa2c610108e4b1dc6ecc995c02a6e91a | ocamlx(NCoq_ZArith_Zbool) |
| = 3aca1dcb9438b2b9e74aac3053cdad6a | ocamlx(NCoq_ZArith_Zdiv) |
| = cd868cc0c2134a74bc4db632a14ea0e9 | ocamlx(NCoq_ZArith_Zeven) |
| = 2ac14171a346457ece1833d80470d867 | ocamlx(NCoq_ZArith_Zgcd_alt) |
| = ac398a0f366b34bf680f4cecd3aa2f6c | ocamlx(NCoq_ZArith_Znat) |
| = 0934824a4cca3b5d06b8cbcd8319f426 | ocamlx(NCoq_ZArith_Znumtheory) |
| = f58f71b9d32cc4ff6346e9d051ffbe39 | ocamlx(NCoq_ZArith_Zorder) |
| = 1712cf7e6612ab942b61af05f5688f64 | ocamlx(NCoq_ZArith_Zpower) |
| = 5ce019d14cd442404ab3ac9e99be70dc | ocamlx(NCoq_btauto_Algebra) |
| = c6ff0ffffe6aac35bc9547059c1e5149 | ocamlx(NCoq_micromega_Env) |
| = 344d3a1606061928170a7c6ea5a15b4c | ocamlx(NCoq_micromega_EnvRing) |
| = 9bac6bc13a0bc0e44597a2bee47828a6 | ocamlx(NCoq_micromega_OrderedRing) |
| = 00e51463db85427bea89fd52b3df0bd1 | ocamlx(NCoq_micromega_Refl) |
| = dc1ecb435c4cc5f2ac31c895973fea86 | ocamlx(NCoq_micromega_RingMicromega) |
| = b26ff2acac23124c7290afdf0c6bd69e | ocamlx(NCoq_micromega_Tauto) |
| = 24e95427bc2870d57d3795e7b984b189 | ocamlx(NCoq_micromega_ZifyClasses) |
| = 6a3c5325dd55ac1384860e0b1e317337 | ocamlx(NCoq_micromega_ZifyInst) |
| = 0094372b92e42ad676724dd0e0f80bac | ocamlx(NCoq_rtauto_Bintree) |
| = 522005d85306d0e62ca1b64ef68a26ed | ocamlx(NCoq_setoid_ring_Algebra_syntax) |
| = e0abb9b4c6310b3645437c24a7481724 | ocamlx(NCoq_setoid_ring_BinList) |
| = 073821d89b2ab74583dc6659a0dd5c40 | ocamlx(NCoq_setoid_ring_Cring) |
| = ce363968ba06c794fb68e48984a13d31 | ocamlx(NCoq_setoid_ring_InitialRing) |
| = 8964a10e5f6a17c4c8ef2230dfd5266e | ocamlx(NCoq_setoid_ring_Integral_domain) |
| = ba0963771d613271f55f42d9326f0ed7 | ocamlx(NCoq_setoid_ring_Ncring) |
| = e1e1515130726d8e32bafb935a7cfeb2 | ocamlx(NCoq_setoid_ring_Ncring_initial) |
| = ec65d9964e5672eb29e003108e90c233 | ocamlx(NCoq_setoid_ring_Ncring_tac) |
| = 6ab9d23b5ff853375c40103c83e8f180 | ocamlx(NCoq_setoid_ring_Ring_polynom) |
| = 011ca51ce89072f8ef5c6aeebbcfa281 | ocamlx(NCoq_setoid_ring_Ring_theory) |
| = 78d8b5e89d7936b766e12dcfe9267893 | ocamlx(NCoq_ssr_ssreflect) |
| = 1210d51be63e4e5411ee9732d43821a3 | ocamlx(NCoq_ssr_ssrfun) |
| = 1ffabee920753c05414163d964d4109f | ocamlx(NCoq_ssr_ssrunder) |
| = 38e227ea48015bcdfb5d9a4f1cb2689a | ocamlx(Stdlib) |
| - | rtld(GNU_HASH) |
| - | texlive-base |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.16.1-1.fc37 | coq |
| = 8.16.1-1.fc37 | 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) |
| = a750180a2e60fc97529e79c01761d432 | ocamlx(NCoq_Arith_Arith) |
| = 8bfa7bc273ea8f071e0202d277feb9d7 | ocamlx(NCoq_Arith_Arith_base) |
| = 78f64c40d7c2a2c94cc4c1e6332eee6b | ocamlx(NCoq_Arith_Arith_prebase) |
| = c189132f1519cd3e6519f1fc45d114fe | ocamlx(NCoq_Arith_Between) |
| = 792dd16cff625389d06516d58982d6d9 | ocamlx(NCoq_Arith_Bool_nat) |
| = cf0133c4fb5ccda3d52e8b54bbea0625 | ocamlx(NCoq_Arith_Cantor) |
| = 2fb2932c93dda2c4cebe2b01fe9c84a3 | ocamlx(NCoq_Arith_Compare) |
| = 9bff12f2b7e2410cc16db0892b191542 | ocamlx(NCoq_Arith_Compare_dec) |
| = d65024a9b4bc5687de9e82a103f99840 | ocamlx(NCoq_Arith_Div2) |
| = 8d6941a85df81cc21d2856f9a5c9846d | ocamlx(NCoq_Arith_EqNat) |
| = 1bb757a1255d1386b7dd502c2f4fd024 | ocamlx(NCoq_Arith_Euclid) |
| = fcca2e46b199d2032e7b711ff401dbc6 | ocamlx(NCoq_Arith_Even) |
| = b7c25f16f2759f277c47d54389dea017 | ocamlx(NCoq_Arith_Factorial) |
| = 402000091463f926a71a7f5477600ea7 | ocamlx(NCoq_Arith_Gt) |
| = ae20dbc521bb50e7ee3d5f126a43ae5e | ocamlx(NCoq_Arith_Le) |
| = b7f3ed2528d5cb3fcf8cebe634b50df7 | ocamlx(NCoq_Arith_Lt) |
| = e9074c2c0acba9f820b09c141ca8ea30 | ocamlx(NCoq_Arith_Max) |
| = 7ac6d9359689a6c57f792ff3a98f6baa | ocamlx(NCoq_Arith_Min) |
| = 1a27ffb7105ce724da209a4def2dad52 | ocamlx(NCoq_Arith_Minus) |
| = 577e4c1ead473ff9f134d0eb43b6db06 | ocamlx(NCoq_Arith_Mult) |
| = 0c2031d176e9ca1291e7e8c9fb2e7bf6 | ocamlx(NCoq_Arith_PeanoNat) |
| = 8dfa879aae90e5c9999144adc85e2312 | ocamlx(NCoq_Arith_Peano_dec) |
| = ace5f773716292f2007aba81d9cdbf3b | ocamlx(NCoq_Arith_Plus) |
| = 56134fe13d8b0d100d91b832f748b04f | ocamlx(NCoq_Arith_Wf_nat) |
| = 0cb25fd884b79e293a1b4cd7c7f24e53 | ocamlx(NCoq_Array_PArray) |
| = 3f077edca92ed17f44c66137c4136c04 | ocamlx(NCoq_Bool_Bool) |
| = 6fb239fa65490939b4bd91ff25d5515e | ocamlx(NCoq_Bool_BoolEq) |
| = 9b3dab0a96d612d13988ec1eb9eb369c | ocamlx(NCoq_Bool_BoolOrder) |
| = 3c45839065198210cf0a34532e616970 | ocamlx(NCoq_Bool_Bvector) |
| = 0ba6817bda0af8a366736c26a58adc4a | ocamlx(NCoq_Bool_DecBool) |
| = dc89a2f7950b7cd45233f14e18e94b6f | ocamlx(NCoq_Bool_IfProp) |
| = 94c6c66d8e09cc2b9bb94baeee0fc270 | ocamlx(NCoq_Bool_Sumbool) |
| = 3ddbb332107921226ea34938b9f8d77d | ocamlx(NCoq_Bool_Zerob) |
| = 854341595c307fbd79ab1cf2508f7a6a | ocamlx(NCoq_Classes_CEquivalence) |
| = f8be62b9ab9b06761f650c1e30a4fb26 | ocamlx(NCoq_Classes_CMorphisms) |
| = 0b07ff6c3bc333226afe5a560809e304 | ocamlx(NCoq_Classes_CRelationClasses) |
| = d3346cb2d29c1755f87ff785752152fa | ocamlx(NCoq_Classes_DecidableClass) |
| = 01f6b893597bc6cd8ea38bf648b5e35a | ocamlx(NCoq_Classes_EquivDec) |
| = 304d2be0b6a49437c18e9a7ece6f58c5 | ocamlx(NCoq_Classes_Equivalence) |
| = 776e1412f07cd45fa9e5cf0812cf0399 | ocamlx(NCoq_Classes_Init) |
| = 7b2cd9ce8169515988a2c6d3b4e3c91f | ocamlx(NCoq_Classes_Morphisms) |
| = 0c5ee8a4abc2b4fafa54e01866cc092b | ocamlx(NCoq_Classes_Morphisms_Prop) |
| = 79f2929d17e44de343fcb56cded27300 | ocamlx(NCoq_Classes_Morphisms_Relations) |
| = f0e432a6bbf3693c8b98755f373acfee | ocamlx(NCoq_Classes_RelationClasses) |
| = 31dacf456e789cacfd8bd45643bdaf58 | ocamlx(NCoq_Classes_RelationPairs) |
| = 631f93bbcbbab5cc4f9af88f32c9490a | ocamlx(NCoq_Classes_SetoidClass) |
| = 58d85c7e7dc2c4146e1db62c722bdf5e | ocamlx(NCoq_Classes_SetoidDec) |
| = fc471872178d1de555500e299af0d643 | ocamlx(NCoq_Classes_SetoidTactics) |
| = 66cf9ff03e096325ca9c17f79b96ffee | ocamlx(NCoq_Compat_AdmitAxiom) |
| = 26412a98456b3fd6a73ed4b39f36ef5a | ocamlx(NCoq_Compat_Coq814) |
| = bbfbfc7655a9e6384752ae912b0dda6e | ocamlx(NCoq_Compat_Coq815) |
| = afbef85114561de5c88549655a755945 | ocamlx(NCoq_Compat_Coq816) |
| = 58f510ef87f3993fae284490818d9063 | ocamlx(NCoq_FSets_FMapAVL) |
| = 5b3daafcd7bf99857127ae76cbcefad6 | ocamlx(NCoq_FSets_FMapFacts) |
| = 60e6918ac8a7a089fa6619e0ff589aa4 | ocamlx(NCoq_FSets_FMapFullAVL) |
| = 2e0e7fc7346599d098c9036241b259f4 | ocamlx(NCoq_FSets_FMapInterface) |
| = d244c9812f737edb09648745e618dd13 | ocamlx(NCoq_FSets_FMapList) |
| = 211f8f7b1a20b15c9d09db50dcc1718a | ocamlx(NCoq_FSets_FMapPositive) |
| = 25b462b1f2b88ec5192bc67ee3d7a2b0 | ocamlx(NCoq_FSets_FMapWeakList) |
| = c6a9a2c01c5f9d29a2d9ed9a9a677442 | ocamlx(NCoq_FSets_FMaps) |
| = d89e8bf889820137a065ecb97b700b50 | ocamlx(NCoq_FSets_FSetAVL) |
| = 7b1ca0d194a8cd2be4e6baaa4b92d0a8 | ocamlx(NCoq_FSets_FSetBridge) |
| = 89c8b65595a88b6d5fc8d495643f3ffe | ocamlx(NCoq_FSets_FSetCompat) |
| = b42ef3f5152c225ba1d761a8604779df | ocamlx(NCoq_FSets_FSetDecide) |
| = 6ba9a795c1af165026b1675bc1792578 | ocamlx(NCoq_FSets_FSetEqProperties) |
| = 75873dff4086a0226f8ce268ff908ebf | ocamlx(NCoq_FSets_FSetFacts) |
| = c0305ef13fbac64e5d3c1acf6200672c | ocamlx(NCoq_FSets_FSetInterface) |
| = 23192592b0723f5fcc0ebe316e40dca7 | ocamlx(NCoq_FSets_FSetList) |
| = 36ec79eaf201f315d6112f80e6ef404b | ocamlx(NCoq_FSets_FSetPositive) |
| = ea98eeafed771e875d1d978321179a2c | ocamlx(NCoq_FSets_FSetProperties) |
| = 1598accbef5844e965e13540d9ccd9aa | ocamlx(NCoq_FSets_FSetToFiniteSet) |
| = 5478c55a2661e05446056ffa12009b8a | ocamlx(NCoq_FSets_FSetWeakList) |
| = c0f422623f33f21cf7ac56a46bacaaf7 | ocamlx(NCoq_FSets_FSets) |
| = 9394890fc677cbb8e0ddd013743c7086 | ocamlx(NCoq_Floats_FloatAxioms) |
| = 46f0dfc53d3910882674a4639146db86 | ocamlx(NCoq_Floats_FloatClass) |
| = c2747fbb93368cf905c1542701c50f2a | ocamlx(NCoq_Floats_FloatLemmas) |
| = 02ed060a107cc58dc1503d8309b2b129 | ocamlx(NCoq_Floats_FloatOps) |
| = 4ea9abd9a6e13fa40a3a10580ecfe48f | ocamlx(NCoq_Floats_Floats) |
| = 554dca032ddd05d4db47f1996e04a786 | ocamlx(NCoq_Floats_PrimFloat) |
| = fd37b8215ffafeee4443a1d3161e8643 | ocamlx(NCoq_Floats_SpecFloat) |
| = d1054209aa843beed30cbf4b82019b6b | ocamlx(NCoq_Init_Byte) |
| = cdbab4b0bd137a1bc00d54561f3dd061 | ocamlx(NCoq_Init_Datatypes) |
| = 636b8cdbceeb3e68bb02f9470b91a251 | ocamlx(NCoq_Init_Decimal) |
| = 5feee94ec814cead937229e0856ece30 | ocamlx(NCoq_Init_Hexadecimal) |
| = 41d65a6a2b1c55d6e2f10cf6ded4b229 | ocamlx(NCoq_Init_Logic) |
| = f7548bdf4c282b358420f07c2baab553 | ocamlx(NCoq_Init_Ltac) |
| = 64321e52710eeaa352d709d8ccafe6cf | ocamlx(NCoq_Init_Nat) |
| = 15404a3288af10941a81fcfbaa4da5e3 | ocamlx(NCoq_Init_Notations) |
| = 5dd0f1c7e9d404fd233af3703fa1709f | ocamlx(NCoq_Init_Number) |
| = cba4622459520c2191e3261009133553 | ocamlx(NCoq_Init_Peano) |
| = 1df899ae9f8a0c8b000d580c3e4f0ae7 | ocamlx(NCoq_Init_Prelude) |
| = deb5ee0a23525d72a763da2cf5baa68d | ocamlx(NCoq_Init_Specif) |
| = 6632a9895ad6f37c905c43d0619d6743 | ocamlx(NCoq_Init_Tactics) |
| = 1ce31f5c96eb506a31bfb0fa6c94acc3 | ocamlx(NCoq_Init_Tauto) |
| = 7a14fbe9da451350e4b4b57c11f0957f | ocamlx(NCoq_Init_Wf) |
| = 8907851d368bbc622072348a2536b0a3 | ocamlx(NCoq_Lists_List) |
| = e46f8d755911c473d472aea1624548ef | ocamlx(NCoq_Lists_ListDec) |
| = 6ba1646971e3309858b15a84cb7bc9ff | ocamlx(NCoq_Lists_ListSet) |
| = 5f28feadb3467f5133dd44abb4f1ac30 | ocamlx(NCoq_Lists_ListTactics) |
| = 6d0a57529c35ac53a0b36fbe503d5e89 | ocamlx(NCoq_Lists_SetoidList) |
| = 93d5dd0e83e23c37ce4357b6d4a114b5 | ocamlx(NCoq_Lists_SetoidPermutation) |
| = bac068f46bddd5ff703fc086039e5e2a | ocamlx(NCoq_Lists_StreamMemo) |
| = 11704a5c9bce3ff9665fb08903d61428 | ocamlx(NCoq_Lists_Streams) |
| = ca6d30c3356399f6eba1ced77d1675f1 | ocamlx(NCoq_Logic_Adjointification) |
| = 6f92d804c4ff0a5f505434a43c056826 | ocamlx(NCoq_Logic_Berardi) |
| = 8c87367db633de8f9ec55ada7c697614 | ocamlx(NCoq_Logic_ChoiceFacts) |
| = fd89086ed4e622df8ae79fbf1a6b77f4 | ocamlx(NCoq_Logic_Classical) |
| = a318369bae6255da821a505f77e031c4 | ocamlx(NCoq_Logic_ClassicalChoice) |
| = 01a7eeac1c40dcc96e8ab4385aa4fb3f | ocamlx(NCoq_Logic_ClassicalDescription) |
| = 61ac547a30cd11c63ea4b917d7afab3e | ocamlx(NCoq_Logic_ClassicalEpsilon) |
| = 989ebdded084c8bde2d508d05762a029 | ocamlx(NCoq_Logic_ClassicalFacts) |
| = 536e568c15619fb8921239fc122bb4e2 | ocamlx(NCoq_Logic_ClassicalUniqueChoice) |
| = 697cdf47760300f724673634bcd0f782 | ocamlx(NCoq_Logic_Classical_Pred_Type) |
| = 02337e3a15981da3dc76fe5faa670a58 | ocamlx(NCoq_Logic_Classical_Prop) |
| = 84be7bad5b16d3986deddabf7c07339d | ocamlx(NCoq_Logic_ConstructiveEpsilon) |
| = e0cf36c346c7f4382a54c29de9453f41 | ocamlx(NCoq_Logic_Decidable) |
| = af18406caa1ac122b878204505a5c337 | ocamlx(NCoq_Logic_Description) |
| = 82a981e92c4be81421c5de44e42fe873 | ocamlx(NCoq_Logic_Diaconescu) |
| = cd79d670b22bd29b09c8ac16adc31f41 | ocamlx(NCoq_Logic_Epsilon) |
| = c3ee3a54072ef117b83e1c1205c3a755 | ocamlx(NCoq_Logic_Eqdep) |
| = 71bcb77bcbbd1a1ece133a3c372d5ad5 | ocamlx(NCoq_Logic_EqdepFacts) |
| = c00abc10dba2d5e2cc96ad3f125d97d9 | ocamlx(NCoq_Logic_Eqdep_dec) |
| = 9328cb1843cdf7edaa790d0e705b84d1 | ocamlx(NCoq_Logic_ExtensionalFunctionRepresentative) |
| = 51662a11032303dde0d7e939caa18972 | ocamlx(NCoq_Logic_ExtensionalityFacts) |
| = f4482dfb2ab692371745c2ae6301f72a | ocamlx(NCoq_Logic_FinFun) |
| = 6c43371878a2c0542d1c9eb3cb9d1028 | ocamlx(NCoq_Logic_FunctionalExtensionality) |
| = 468c654f84caf9b4ef5e018addc2fa66 | ocamlx(NCoq_Logic_HLevels) |
| = 9aeafd83b52b4be3ac004b159da30ce9 | ocamlx(NCoq_Logic_Hurkens) |
| = 1939cc1da818619e62675c3fbff55b5e | ocamlx(NCoq_Logic_IndefiniteDescription) |
| = 39f43689f21ba5cab724e55b75421117 | ocamlx(NCoq_Logic_JMeq) |
| = 92e5d1a69f4814d551bacd6474aa59fa | ocamlx(NCoq_Logic_ProofIrrelevance) |
| = ab3cee0b171b7673b89f549aedba772f | ocamlx(NCoq_Logic_ProofIrrelevanceFacts) |
| = ed2cedf88c70b9f0656833ef30b8883a | ocamlx(NCoq_Logic_PropExtensionality) |
| = 4e04edd163b24f40fd537e5ca2b0d79b | ocamlx(NCoq_Logic_PropExtensionalityFacts) |
| = a5e3ccb85aa3cced0a5e191b31e42e5a | ocamlx(NCoq_Logic_PropFacts) |
| = 9fa28aa2e25e2ae0447f743af973a5a1 | ocamlx(NCoq_Logic_RelationalChoice) |
| = 63e958249ad377147a58a6508aa07fd5 | ocamlx(NCoq_Logic_SetIsType) |
| = 6ba94724775ac71c924ca6c4219c693d | ocamlx(NCoq_Logic_SetoidChoice) |
| = b4485a309827764328d280ff76e26dfc | ocamlx(NCoq_Logic_StrictProp) |
| = ee001a7372674d6abf82e3bdd9685feb | ocamlx(NCoq_Logic_WKL) |
| = 06019dcd3d73b70fee7856c610beff54 | ocamlx(NCoq_Logic_WeakFan) |
| = b3207b21cd7abcc32ec92f1ce44a5d78 | ocamlx(NCoq_MSets_MSetAVL) |
| = 368a9f4579b7214c7f21921b679679e8 | ocamlx(NCoq_MSets_MSetDecide) |
| = e9ff2382902dd1ec963b6e3b97cb8b3c | ocamlx(NCoq_MSets_MSetEqProperties) |
| = 5c077fa91c7af741147895f82c92d531 | ocamlx(NCoq_MSets_MSetFacts) |
| = c729f0ccaf7dccdb4eb2763f7ca10a3c | ocamlx(NCoq_MSets_MSetGenTree) |
| = b93fe2ba56b284fbae69bebb03f7a591 | ocamlx(NCoq_MSets_MSetInterface) |
| = 1722bb87526273673f36490255a62f7b | ocamlx(NCoq_MSets_MSetList) |
| = c8382cb6bd7cfe275a3030e84e22129a | ocamlx(NCoq_MSets_MSetPositive) |
| = 873d67383c33267bd942d55fd89ebaca | ocamlx(NCoq_MSets_MSetProperties) |
| = cea73409c762a8484a1a7b324f7ce52a | ocamlx(NCoq_MSets_MSetRBT) |
| = 2d3d459738547a0e3307fb2a971ff48a | ocamlx(NCoq_MSets_MSetToFiniteSet) |
| = 1c9104542d81cd327d52cd8e42ead802 | ocamlx(NCoq_MSets_MSetWeakList) |
| = df680dcdac14dbeca6aa46b19dd6fb22 | ocamlx(NCoq_MSets_MSets) |
| = 8030f1e067c21d77c7fc3b4522cf5f47 | ocamlx(NCoq_NArith_BinNat) |
| = 680c3e52106a767c471692413393b0aa | ocamlx(NCoq_NArith_BinNatDef) |
| = 837ca4a7da7b1d0f0d81e4c706ad929d | ocamlx(NCoq_NArith_NArith) |
| = 33faae96e0c8ea38a4029d9f80c63b97 | ocamlx(NCoq_NArith_Ndec) |
| = 67ef8d0d1d9b420f6524f16748a01ab4 | ocamlx(NCoq_NArith_Ndigits) |
| = 8a4f631d9b551b5f7419c27066af6e3e | ocamlx(NCoq_NArith_Ndist) |
| = d0e5ad93ff1bc30bce769cb4fc4adbc1 | ocamlx(NCoq_NArith_Ndiv_def) |
| = 17f06af1a5d603c51ba7fc9b3c8c3ddd | ocamlx(NCoq_NArith_Ngcd_def) |
| = 10f47cc41a73162f516f5295d1856193 | ocamlx(NCoq_NArith_Nnat) |
| = 875a83aa28f5149b8697e468e4a46e75 | ocamlx(NCoq_NArith_Nsqrt_def) |
| = ad829233ab5d57756de675424238a281 | ocamlx(NCoq_Numbers_AltBinNotations) |
| = e0612228d82543c6ffaaa7a7352608e9 | ocamlx(NCoq_Numbers_BinNums) |
| = e35dd3d1e8e8fed6ec94bf1bf54cb6c0 | ocamlx(NCoq_Numbers_Cyclic_Abstract_CarryType) |
| = f4f2702a6ce0d0097275faaeb8716e2b | ocamlx(NCoq_Numbers_Cyclic_Abstract_CyclicAxioms) |
| = 138889d17153c3e465c9d9fa54b7f31c | ocamlx(NCoq_Numbers_Cyclic_Abstract_DoubleType) |
| = 440991c17c1814c1de778e194ed9d44c | ocamlx(NCoq_Numbers_Cyclic_Abstract_NZCyclic) |
| = ea583ee471ff6b8804f2cf98295c4e89 | ocamlx(NCoq_Numbers_Cyclic_Int31_Cyclic31) |
| = cf84686e16eed2e526f437f546e12175 | ocamlx(NCoq_Numbers_Cyclic_Int31_Int31) |
| = 9bf6bd33e1448a3e4b849300de7b951f | ocamlx(NCoq_Numbers_Cyclic_Int31_Ring31) |
| = 22958d9e57fd774a920705cfa67d98ff | ocamlx(NCoq_Numbers_Cyclic_Int63_Cyclic63) |
| = 9ce6ec33f364e74521e6b6371384aa06 | ocamlx(NCoq_Numbers_Cyclic_Int63_PrimInt63) |
| = 83688ddf134cc2056851fc4060d5a20f | ocamlx(NCoq_Numbers_Cyclic_Int63_Ring63) |
| = 317e0bab40587fb24ed3ea7f55df9aa0 | ocamlx(NCoq_Numbers_Cyclic_Int63_Sint63) |
| = 47671fbb0dc63e07227db1958df3b47b | ocamlx(NCoq_Numbers_Cyclic_Int63_Uint63) |
| = 001d2929f3d16342b3944044b75a89c2 | ocamlx(NCoq_Numbers_Cyclic_ZModulo_ZModulo) |
| = 444b6917b8b63ac82b5290a5e724f9cc | ocamlx(NCoq_Numbers_DecimalFacts) |
| = 1cbd4f7427ce763fce560690b6e1f125 | ocamlx(NCoq_Numbers_DecimalN) |
| = fbbab3fb4898769490cb6eb6991106d0 | ocamlx(NCoq_Numbers_DecimalNat) |
| = b20999a2665e915fe6163104234556f5 | ocamlx(NCoq_Numbers_DecimalPos) |
| = 4d860fbc321de85307724c6b1767c6fe | ocamlx(NCoq_Numbers_DecimalQ) |
| = 825aadd75be312ca1c61378d0797c75e | ocamlx(NCoq_Numbers_DecimalR) |
| = 7dd3fd47e0e4f7cc3519382ecaa277e0 | ocamlx(NCoq_Numbers_DecimalString) |
| = 74b45f5c1a9c29b1e7603d39b1f1218f | ocamlx(NCoq_Numbers_DecimalZ) |
| = af59e97fbfecd05d719fd525dee77216 | ocamlx(NCoq_Numbers_HexadecimalFacts) |
| = 6f6ff2f06cdeae53c801823667fba1d1 | ocamlx(NCoq_Numbers_HexadecimalN) |
| = a21fb4f73f01ab214fb0b89f92325016 | ocamlx(NCoq_Numbers_HexadecimalNat) |
| = 14f581e2fc70319263812665daf08ccb | ocamlx(NCoq_Numbers_HexadecimalPos) |
| = 9eea5a0f1a12dcb4943b0c793b9b857a | ocamlx(NCoq_Numbers_HexadecimalQ) |
| = 374fa1c3b3ea9ce5f9e6e7522ddff062 | ocamlx(NCoq_Numbers_HexadecimalR) |
| = b274c176eef45c3421f8106cf4c1a589 | ocamlx(NCoq_Numbers_HexadecimalString) |
| = 096e8a72db0a8d9c6b7284e72e1cfd76 | ocamlx(NCoq_Numbers_HexadecimalZ) |
| = 078fbac94ea73398924d08207147ee20 | ocamlx(NCoq_Numbers_Integer_Abstract_ZAdd) |
| = 89e9fb80125adbce0a6fc3f57cb920d5 | ocamlx(NCoq_Numbers_Integer_Abstract_ZAddOrder) |
| = fb2f8040c6b2cd53c237d40e2f610836 | ocamlx(NCoq_Numbers_Integer_Abstract_ZAxioms) |
| = 60b76860fa0eef0517ebd35752c6178e | ocamlx(NCoq_Numbers_Integer_Abstract_ZBase) |
| = 91585ad08f5b574ada4bd7ce44980bcf | ocamlx(NCoq_Numbers_Integer_Abstract_ZBits) |
| = 96a86077d3ec696be66218987caff023 | ocamlx(NCoq_Numbers_Integer_Abstract_ZDivEucl) |
| = eeb93fd28011a793d975e5b5985e9221 | ocamlx(NCoq_Numbers_Integer_Abstract_ZDivFloor) |
| = ea0ef998ae9fa26eeb2d989025b238b9 | ocamlx(NCoq_Numbers_Integer_Abstract_ZDivTrunc) |
| = 598400e81c77c83fdf3a12424a176105 | ocamlx(NCoq_Numbers_Integer_Abstract_ZGcd) |
| = 4427276c4cafa0bfd939ea4e850e3e00 | ocamlx(NCoq_Numbers_Integer_Abstract_ZLcm) |
| = d5fe5255308afe3b30ef078639703a1c | ocamlx(NCoq_Numbers_Integer_Abstract_ZLt) |
| = 0a1deb312ffc06e97653bb0809c5b2d9 | ocamlx(NCoq_Numbers_Integer_Abstract_ZMaxMin) |
| = 02f67cab87bd0de1f878c42a51e98986 | ocamlx(NCoq_Numbers_Integer_Abstract_ZMul) |
| = dd81cc831d561b539acddb2b64398f0a | ocamlx(NCoq_Numbers_Integer_Abstract_ZMulOrder) |
| = 9b9ecad7f09530631e1d610e859f7786 | ocamlx(NCoq_Numbers_Integer_Abstract_ZParity) |
| = 701c6c020d7c4d87415dc4caf9c162ed | ocamlx(NCoq_Numbers_Integer_Abstract_ZPow) |
| = 69f6ac7b754bce3c014defa7cff29c1a | ocamlx(NCoq_Numbers_Integer_Abstract_ZProperties) |
| = 391b634a9d6b9e92b328327ff761e8f9 | ocamlx(NCoq_Numbers_Integer_Abstract_ZSgnAbs) |
| = 6c496b2dd2bec228e94f1ff84d05d1e8 | ocamlx(NCoq_Numbers_Integer_Binary_ZBinary) |
| = cab0f4af35c6782a490217b17a92f3dc | ocamlx(NCoq_Numbers_Integer_NatPairs_ZNatPairs) |
| = ce7ca5114ca57413f6a0dded82a640e9 | ocamlx(NCoq_Numbers_NaryFunctions) |
| = b0b413e72e328e786ed94a6d861c1419 | ocamlx(NCoq_Numbers_NatInt_NZAdd) |
| = efabad8e94806fad11e5bc7139c3fef5 | ocamlx(NCoq_Numbers_NatInt_NZAddOrder) |
| = 96e6bc715b6780881f67cd007cf752b1 | ocamlx(NCoq_Numbers_NatInt_NZAxioms) |
| = e858dd7daf515c0001a7878101322c25 | ocamlx(NCoq_Numbers_NatInt_NZBase) |
| = 39d69372c29c8b33ac97b9a5794c6391 | ocamlx(NCoq_Numbers_NatInt_NZBits) |
| = f9d504f05557543033859a17e8e8dca8 | ocamlx(NCoq_Numbers_NatInt_NZDiv) |
| = 6c86f66ccad88b207ebac8089c171ff5 | ocamlx(NCoq_Numbers_NatInt_NZDomain) |
| = 8e50c176e7a2fd2a109b87a7db2c527f | ocamlx(NCoq_Numbers_NatInt_NZGcd) |
| = acebcb1a6bf96876a597b28c15f66635 | ocamlx(NCoq_Numbers_NatInt_NZLog) |
| = 25ac2133e4dffce7c5ab8c91334a2499 | ocamlx(NCoq_Numbers_NatInt_NZMul) |
| = 354d6214e01a95acf4c5c99487c423c8 | ocamlx(NCoq_Numbers_NatInt_NZMulOrder) |
| = 262275d4b2ad73e92d8e40469653eb43 | ocamlx(NCoq_Numbers_NatInt_NZOrder) |
| = 09809c7fc8b8d590d62ae4e9eb7f454d | ocamlx(NCoq_Numbers_NatInt_NZParity) |
| = bee9feddee328c9e528da84e3b69a3f9 | ocamlx(NCoq_Numbers_NatInt_NZPow) |
| = 0ec8692d426c979455542522ec39b0e4 | ocamlx(NCoq_Numbers_NatInt_NZProperties) |
| = a240c27496e2b3756329504cc32fcb6b | ocamlx(NCoq_Numbers_NatInt_NZSqrt) |
| = ccdcb874f1d09bea2e14287d893a2197 | ocamlx(NCoq_Numbers_Natural_Abstract_NAdd) |
| = 458824faddd17f8b945da3ef9cd0567a | ocamlx(NCoq_Numbers_Natural_Abstract_NAddOrder) |
| = 480d03c29c50f8c505366d55b5b9365e | ocamlx(NCoq_Numbers_Natural_Abstract_NAxioms) |
| = afd2327dfcf6121d67095a95831dac39 | ocamlx(NCoq_Numbers_Natural_Abstract_NBase) |
| = a88701d6bc0cbbcacf96f522e26f424b | ocamlx(NCoq_Numbers_Natural_Abstract_NBits) |
| = 7eff26a12fcf736ff19c29002a03e5a7 | ocamlx(NCoq_Numbers_Natural_Abstract_NDefOps) |
| = 7442976d4224b84bd83369f5e318260f | ocamlx(NCoq_Numbers_Natural_Abstract_NDiv) |
| = afce97d7dafcc2b46fc84e6ff5714efc | ocamlx(NCoq_Numbers_Natural_Abstract_NGcd) |
| = 1e13be9fb362d33efca82e29ca5571ba | ocamlx(NCoq_Numbers_Natural_Abstract_NIso) |
| = 7c73191caead88b7e61e05c2840f4dca | ocamlx(NCoq_Numbers_Natural_Abstract_NLcm) |
| = 89c9d13fa6e2f329ad5452e1c4d82d06 | ocamlx(NCoq_Numbers_Natural_Abstract_NLog) |
| = 4e90dc94d914753ba060f08dbb1fd5d3 | ocamlx(NCoq_Numbers_Natural_Abstract_NMaxMin) |
| = 57b26af1e42030caafcad8e7561dd987 | ocamlx(NCoq_Numbers_Natural_Abstract_NMulOrder) |
| = 6f0731df1145965d9edca030afb59c0e | ocamlx(NCoq_Numbers_Natural_Abstract_NOrder) |
| = 14c0a75c56f8658df32d048d8743bf63 | ocamlx(NCoq_Numbers_Natural_Abstract_NParity) |
| = 587442a5ccf47487da1013eebad6dbfb | ocamlx(NCoq_Numbers_Natural_Abstract_NPow) |
| = b776ccef2c676e718f9872bdc3dfbe38 | ocamlx(NCoq_Numbers_Natural_Abstract_NProperties) |
| = f896561dfa154efa1d53cb22975e63f8 | ocamlx(NCoq_Numbers_Natural_Abstract_NSqrt) |
| = ee4113d29d6eeb279f0d038f42c87cae | ocamlx(NCoq_Numbers_Natural_Abstract_NStrongRec) |
| = b86f1967f1d895ea01566873fd3085af | ocamlx(NCoq_Numbers_Natural_Abstract_NSub) |
| = 028760a1e23582c42e9a9644a87f2b6a | ocamlx(NCoq_Numbers_Natural_Binary_NBinary) |
| = 863e00415e67ab0a342fbea5dcae4ff9 | ocamlx(NCoq_Numbers_Natural_Peano_NPeano) |
| = fa28f2f508aee1c4f5cc8cd8ebb3a323 | ocamlx(NCoq_Numbers_NumPrelude) |
| = 29ff38614d02d547af2edc8d670f7ac6 | ocamlx(NCoq_PArith_BinPos) |
| = 91e963e5aba4ed504a7bf99d61442664 | ocamlx(NCoq_PArith_BinPosDef) |
| = 2b87a32d81093a7db50bab4fc966d81b | ocamlx(NCoq_PArith_PArith) |
| = 2c6712eb3775f0bea36fcc9380fde1ec | ocamlx(NCoq_PArith_POrderedType) |
| = dfae78ac2928adf3c64159ec255a2eb6 | ocamlx(NCoq_PArith_Pnat) |
| = 3980e9e0a2dd33ece250ba07bd3c4fcf | ocamlx(NCoq_Program_Basics) |
| = d9a44cf340c95fc65d13dc5f62d40648 | ocamlx(NCoq_Program_Combinators) |
| = 5b41d70a9fdce649e28eccf64aa0a56a | ocamlx(NCoq_Program_Equality) |
| = 9c2c3ae8a06a5e198a99aaf13b085295 | ocamlx(NCoq_Program_Program) |
| = 437da8961f5211f302770744511259e4 | ocamlx(NCoq_Program_Subset) |
| = 751d288916dc61add7a3fda768e4f2aa | ocamlx(NCoq_Program_Syntax) |
| = d7051b5f89fa8fff8c12b315d80272f8 | ocamlx(NCoq_Program_Tactics) |
| = e26276daefc192d4a47bc515449b1810 | ocamlx(NCoq_Program_Utils) |
| = 19b04e13d75d7c7f016b277326038119 | ocamlx(NCoq_Program_Wf) |
| = 154979e07ee52bd40e729abadb584ff8 | ocamlx(NCoq_QArith_QArith) |
| = 456351b997402af974012e6e6aa3b336 | ocamlx(NCoq_QArith_QArith_base) |
| = 9cd3f0b91f8a82cf27b699108a03bae6 | ocamlx(NCoq_QArith_QOrderedType) |
| = ed0644b3dc118fc7577f6ecf79221ad4 | ocamlx(NCoq_QArith_Qabs) |
| = 9a27e3f2ea00bda9d385b5e3e3b523b7 | ocamlx(NCoq_QArith_Qcabs) |
| = be23aac8b4553f4a475892eca03d9011 | ocamlx(NCoq_QArith_Qcanon) |
| = e58b2ad2670414378327e281291624f3 | ocamlx(NCoq_QArith_Qfield) |
| = c7d24f564cd5a023cf43d8bb95f219fa | ocamlx(NCoq_QArith_Qminmax) |
| = 46fb8c9f14155e07a9dc344931c6593f | ocamlx(NCoq_QArith_Qpower) |
| = bf368e684e78cfe14c89ef12e4eb7f68 | ocamlx(NCoq_QArith_Qreals) |
| = ad27627a49727e56c6581ad6e26334b5 | ocamlx(NCoq_QArith_Qreduction) |
| = 57de834c837786a43864753b483c200c | ocamlx(NCoq_QArith_Qring) |
| = bf044cbbf436c3a30c7f39b1319fc8a6 | ocamlx(NCoq_QArith_Qround) |
| = 9740af7e5fa396696555a23191324170 | ocamlx(NCoq_Reals_Abstract_ConstructiveAbs) |
| = 6d49657f57bd16ec3d82f0a24b3b162f | ocamlx(NCoq_Reals_Abstract_ConstructiveLUB) |
| = 9b8bb299b8267b86c57c580241105dcc | ocamlx(NCoq_Reals_Abstract_ConstructiveLimits) |
| = c110b27d5a9ec318aa0ade91adc7ef02 | ocamlx(NCoq_Reals_Abstract_ConstructiveMinMax) |
| = f7df2ddd73ba374bd1cdf7891adaf8cd | ocamlx(NCoq_Reals_Abstract_ConstructivePower) |
| = 311b7cbf4d5abd04a942553b968321f5 | ocamlx(NCoq_Reals_Abstract_ConstructiveReals) |
| = 96b9fb67cbce61ef11862339cf064fc3 | ocamlx(NCoq_Reals_Abstract_ConstructiveRealsMorphisms) |
| = d21bb654d0999887a6f873f9b145085d | ocamlx(NCoq_Reals_Abstract_ConstructiveSum) |
| = 38c0dd9f41fc6422586c0181bbe9f871 | ocamlx(NCoq_Reals_Alembert) |
| = 0f346c97c28da6da363415797793a692 | ocamlx(NCoq_Reals_AltSeries) |
| = 6c190d9193b9bae37494a68b6c235ef2 | ocamlx(NCoq_Reals_ArithProp) |
| = 6bb58656f28c4e07eeaa468a4094eb9e | ocamlx(NCoq_Reals_Binomial) |
| = 14b3c0046868659624f354fc7321d359 | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyAbs) |
| = a8feba1793dd5d13d48d623a76c1ba33 | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyReals) |
| = 3f3127d85bc3ef240feaadede724a152 | ocamlx(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) |
| = dade9ad8ee2355eeb85ffd25e6b47b97 | ocamlx(NCoq_Reals_Cauchy_ConstructiveExtra) |
| = 6249e9d51671ed188385d1374af6f2e5 | ocamlx(NCoq_Reals_Cauchy_ConstructiveRcomplete) |
| = b83a7d1ca2b0b99c3da489f847fdedc8 | ocamlx(NCoq_Reals_Cauchy_PosExtra) |
| = 20a344b02ce2df4dd2f327bc3e9c5206 | ocamlx(NCoq_Reals_Cauchy_QExtra) |
| = e3152c7855dfbe1f43c10588492932ca | ocamlx(NCoq_Reals_Cauchy_prod) |
| = 0aecd82901953fc1f5f04ed538e1f510 | ocamlx(NCoq_Reals_ClassicalConstructiveReals) |
| = 5c175c476127e179724f021b7f9fb8dd | ocamlx(NCoq_Reals_ClassicalDedekindReals) |
| = eae50c0ca8f3bff8464f7427e1561aac | ocamlx(NCoq_Reals_Cos_plus) |
| = d18cdaa37b8cd5bba2e2a8986831c0c0 | ocamlx(NCoq_Reals_Cos_rel) |
| = d0896381f6ab44647d755400731fa661 | ocamlx(NCoq_Reals_DiscrR) |
| = 064c3c5b378225725e993750e137cf5d | ocamlx(NCoq_Reals_Exp_prop) |
| = d4530e30929c76c1ff4dea69e2fe4068 | ocamlx(NCoq_Reals_Integration) |
| = 10aae486efeb45ca4e34862e4d65c4b6 | ocamlx(NCoq_Reals_MVT) |
| = e4c72772154c9d90f4c015dbccf83015 | ocamlx(NCoq_Reals_Machin) |
| = 31722df57d595af36dcb03c89b1a3190 | ocamlx(NCoq_Reals_NewtonInt) |
| = b12f2083289c6a35a8735e41389e622a | ocamlx(NCoq_Reals_PSeries_reg) |
| = 861e94a1e864e8ee30ac6ac930a35e5f | ocamlx(NCoq_Reals_PartSum) |
| = ace642a0a89874c46b62609556a3c508 | ocamlx(NCoq_Reals_RIneq) |
| = 522bd8464d10f1aadd49c5b1485f060e | ocamlx(NCoq_Reals_RList) |
| = ba5e386966d30e08c90a0fe18b812177 | ocamlx(NCoq_Reals_ROrderedType) |
| = bba5ecfa9a1bd261c806579f96b99e22 | ocamlx(NCoq_Reals_R_Ifp) |
| = 4fecb6c277578367ad585556811a1656 | ocamlx(NCoq_Reals_R_sqr) |
| = 8645e3c7e95ee4f2171a8e92402e59ac | ocamlx(NCoq_Reals_R_sqrt) |
| = c9bcb0030cee0fd5d995e9c23b3652b1 | ocamlx(NCoq_Reals_Ranalysis) |
| = 911b5cbc6d6d49ab29fa96b2a7c4b0ce | ocamlx(NCoq_Reals_Ranalysis1) |
| = b4e9290b6cf261becb5dd038281bf8ca | ocamlx(NCoq_Reals_Ranalysis2) |
| = 8ac91fde5ab49c86cf3cb4eecc70e5dc | ocamlx(NCoq_Reals_Ranalysis3) |
| = 11952728c6f2a6dfb1658e59146eca4a | ocamlx(NCoq_Reals_Ranalysis4) |
| = c13d34a8479fb35323dfb620c3ad3c2a | ocamlx(NCoq_Reals_Ranalysis5) |
| = f6fd8edefb47cb940bcf3373369042ba | ocamlx(NCoq_Reals_Ranalysis_reg) |
| = 7412678d1c37539eff79e008cf41b08b | ocamlx(NCoq_Reals_Ratan) |
| = 80568ed9e9a149082c650a7cf8ad34f2 | ocamlx(NCoq_Reals_Raxioms) |
| = bc9e1685ad50b2237edf00fb6241b8d9 | ocamlx(NCoq_Reals_Rbase) |
| = f3c63708716b1be443577d544b2fdd63 | ocamlx(NCoq_Reals_Rbasic_fun) |
| = 26de9612c062c875b42c08f7540e3a62 | ocamlx(NCoq_Reals_Rcomplete) |
| = 84bd14c8e9395f487c90a05f13b6e658 | ocamlx(NCoq_Reals_Rdefinitions) |
| = 45cc64c6698941aff63d466ca009ccd9 | ocamlx(NCoq_Reals_Rderiv) |
| = 4516e8d6a7eb21a24da7481256f863b7 | ocamlx(NCoq_Reals_Reals) |
| = 18722884c56dce32f5a6bff4d0bf700a | ocamlx(NCoq_Reals_Rfunctions) |
| = 1f6d25e49ededaec324538cc23806801 | ocamlx(NCoq_Reals_Rgeom) |
| = 8d32c67e20a529b53a8d51763dff5d68 | ocamlx(NCoq_Reals_RiemannInt) |
| = e068ec79f5674d4b44438f5eb4b282f1 | ocamlx(NCoq_Reals_RiemannInt_SF) |
| = 2fe8aead618dc3acf0f2fbacf6e1814f | ocamlx(NCoq_Reals_Rlimit) |
| = 1e869f010ccb0ee8e70929c27c900c78 | ocamlx(NCoq_Reals_Rlogic) |
| = 6bff060e7a90e887a506b4a4e977d799 | ocamlx(NCoq_Reals_Rminmax) |
| = 63d9e580ca45c02f19fb451274431496 | ocamlx(NCoq_Reals_Rpow_def) |
| = 82f3dcdf6928f8e125bc0a26d0349224 | ocamlx(NCoq_Reals_Rpower) |
| = 9ace9d815112fe5020b296f2fd6acf33 | ocamlx(NCoq_Reals_Rprod) |
| = 286b97a0368a8143a4be739ddcf95bca | ocamlx(NCoq_Reals_Rregisternames) |
| = 5ec316c7dffa9d55c22c9b679520202e | ocamlx(NCoq_Reals_Rseries) |
| = 79b9b37d35ada3165ad2aebaa79c967d | ocamlx(NCoq_Reals_Rsigma) |
| = ffdafa21ff8bdab6c805e0ef98d0f8b4 | ocamlx(NCoq_Reals_Rsqrt_def) |
| = 82f98749decefa473c1d1d3932b1946d | ocamlx(NCoq_Reals_Rtopology) |
| = 08725d739d09f61cd7793427bbc877af | ocamlx(NCoq_Reals_Rtrigo) |
| = 3752b872fbe641ab1b5a771b12005f02 | ocamlx(NCoq_Reals_Rtrigo1) |
| = e0510e286f27c0d338c07e75f63f82b9 | ocamlx(NCoq_Reals_Rtrigo_alt) |
| = fec3b7cd95cd3e13e8c76ed6e720cb49 | ocamlx(NCoq_Reals_Rtrigo_calc) |
| = 41b0966455f957153bbdb998819754a3 | ocamlx(NCoq_Reals_Rtrigo_def) |
| = fe5db0bf475f03954c7797594cd0ef9b | ocamlx(NCoq_Reals_Rtrigo_facts) |
| = ad2e6a91bc03244df5a8468095d51cb8 | ocamlx(NCoq_Reals_Rtrigo_fun) |
| = cdae19535196bfeb9e72d477182be5de | ocamlx(NCoq_Reals_Rtrigo_reg) |
| = ec86dcc19ef6547b759399dc6464b585 | ocamlx(NCoq_Reals_Runcountable) |
| = 0787a5d469bcaf85b137cfd8d17e67b6 | ocamlx(NCoq_Reals_SeqProp) |
| = 32c3b8e7fd7d5a2e12ee22aad3d4be66 | ocamlx(NCoq_Reals_SeqSeries) |
| = 4dfe8369fab88049b7f4166fd00320ff | ocamlx(NCoq_Reals_SplitAbsolu) |
| = cb0159d131dec78e36242c2bf1dd1771 | ocamlx(NCoq_Reals_SplitRmult) |
| = 3050ac248ab84afbc88580f360ca0e8f | ocamlx(NCoq_Reals_Sqrt_reg) |
| = ad9f4c9e9c05280142ee1470ab4eae42 | ocamlx(NCoq_Relations_Operators_Properties) |
| = 651f2282fe2be8d3e167a8a1fcee9430 | ocamlx(NCoq_Relations_Relation_Definitions) |
| = 66735741ab238cfe4d78f58375def8af | ocamlx(NCoq_Relations_Relation_Operators) |
| = c03a78b8a02aa255edb3429e15ea6ae8 | ocamlx(NCoq_Relations_Relations) |
| = fcc1ea5be1d2c82a97e7555e30c58a7e | ocamlx(NCoq_Setoids_Setoid) |
| = 202848aa997821cf1444a191d6d1a159 | ocamlx(NCoq_Sets_Classical_sets) |
| = bce6a669c4ba0f31d8e29b3db01844bb | ocamlx(NCoq_Sets_Constructive_sets) |
| = bb9e7fcd859e77347113507109a70790 | ocamlx(NCoq_Sets_Cpo) |
| = d927bddf040bf07ff5275ad1f1d0610a | ocamlx(NCoq_Sets_Ensembles) |
| = 84cd6c0c5917d544b52b8f435dfc3f0a | ocamlx(NCoq_Sets_Finite_sets) |
| = 0eed410592c85b053777abe83ed45f49 | ocamlx(NCoq_Sets_Finite_sets_facts) |
| = 5497e32758c7b13214dd257ffd71047a | ocamlx(NCoq_Sets_Image) |
| = 17a696f819ec576ecc212822450f59c5 | ocamlx(NCoq_Sets_Infinite_sets) |
| = cc84066f3a283a57cce4552dfadf612d | ocamlx(NCoq_Sets_Integers) |
| = 1d12beb43bf26953a73bf034974ddfae | ocamlx(NCoq_Sets_Multiset) |
| = cde41276269788b08e823c9cf63bb8ef | ocamlx(NCoq_Sets_Partial_Order) |
| = 65b56a42502cedc459010f6447ce7ed4 | ocamlx(NCoq_Sets_Permut) |
| = ca0ffda7784d6d50c5a9efec369851ab | ocamlx(NCoq_Sets_Powerset) |
| = 923b83de27cf206584d38e818832b9b3 | ocamlx(NCoq_Sets_Powerset_Classical_facts) |
| = 5c38bc5f33ae5167c590245420b9c6c3 | ocamlx(NCoq_Sets_Powerset_facts) |
| = 643f4fddef7173502227bd917b55e161 | ocamlx(NCoq_Sets_Relations_1) |
| = 7f495954b00f58c5e12d27beed58a163 | ocamlx(NCoq_Sets_Relations_1_facts) |
| = b5c76d9a54a284bd95432ac6cf6d1e8c | ocamlx(NCoq_Sets_Relations_2) |
| = 918d6347d695228aab832cb8954a7f6a | ocamlx(NCoq_Sets_Relations_2_facts) |
| = e9e1c4b0740732a5b81e72d69141d656 | ocamlx(NCoq_Sets_Relations_3) |
| = 5f37a7e4f3804030150f00cd0173610c | ocamlx(NCoq_Sets_Relations_3_facts) |
| = afa3b6dcde57ce1bd253ab98227170c6 | ocamlx(NCoq_Sets_Uniset) |
| = 60e37175a9c45533b398a7c14b74d0bf | ocamlx(NCoq_Sorting_CPermutation) |
| = ae0e97d7f5fae69e899ceee104414e18 | ocamlx(NCoq_Sorting_Heap) |
| = 0ea7304af218b18474d2b94acb2ea440 | ocamlx(NCoq_Sorting_Mergesort) |
| = ec46363a6e523070b775911f10642a90 | ocamlx(NCoq_Sorting_PermutEq) |
| = 88f44eef2f16332c1c5a2666316a9ef1 | ocamlx(NCoq_Sorting_PermutSetoid) |
| = 4dae87e84b1d2b57955f70fa0027ac8e | ocamlx(NCoq_Sorting_Permutation) |
| = 9c1bcaa6a27cc20300e1870f54f9a487 | ocamlx(NCoq_Sorting_Sorted) |
| = 6e0bec835af2c4b6f28203d3eb86e223 | ocamlx(NCoq_Sorting_Sorting) |
| = ad07f53afd17fbcad57f327094f99621 | ocamlx(NCoq_Strings_Ascii) |
| = d1c00052ef308494ca1ee5fc766f41dd | ocamlx(NCoq_Strings_BinaryString) |
| = 2edfe472fbc94c7530c9ccbce80606c1 | ocamlx(NCoq_Strings_Byte) |
| = 0573075625e5601e037d6669a3c02561 | ocamlx(NCoq_Strings_ByteVector) |
| = 58cb418e7674b9f56fbae206ca1e3bd0 | ocamlx(NCoq_Strings_HexString) |
| = a21e7fb3b5c039aea747d7de87687568 | ocamlx(NCoq_Strings_OctalString) |
| = b72e67f1b18d37a5dd1f4d36cd060c19 | ocamlx(NCoq_Strings_String) |
| = 77a3d5f03c4902ef228b7d6437b08946 | ocamlx(NCoq_Structures_DecidableType) |
| = df1409205bfabb6da735dd11e2214609 | ocamlx(NCoq_Structures_DecidableTypeEx) |
| = f0bcdf9f087148342feca6d74f709f9b | ocamlx(NCoq_Structures_Equalities) |
| = d33150d57874c1f24dab186ad70fedfe | ocamlx(NCoq_Structures_EqualitiesFacts) |
| = ebde4686f01de7fefd06ed65f95e1d27 | ocamlx(NCoq_Structures_GenericMinMax) |
| = 8458d0ef9136a6ca92a06c4a655f21c5 | ocamlx(NCoq_Structures_OrderedType) |
| = ce24fd7e95e58d4b7aa3f93de9a22315 | ocamlx(NCoq_Structures_OrderedTypeAlt) |
| = abee3ad6c3d4d7951f41b162613f1cc6 | ocamlx(NCoq_Structures_OrderedTypeEx) |
| = ac6660ccfacac15fa6ba819caff5ca7a | ocamlx(NCoq_Structures_Orders) |
| = 407aefe58d83ea9bca4ba92b6094dec4 | ocamlx(NCoq_Structures_OrdersAlt) |
| = 34294c8ad59e0582977bda0a092e14a1 | ocamlx(NCoq_Structures_OrdersEx) |
| = 9b6e7709bfbdd0bc682f3f12729df600 | ocamlx(NCoq_Structures_OrdersFacts) |
| = f3149d961b0840470f7c535ab0c7f02c | ocamlx(NCoq_Structures_OrdersLists) |
| = 9aed15a1ad107fe2a47d571e9f545cdf | ocamlx(NCoq_Structures_OrdersTac) |
| = 700e917ae387551639e92e4bfadd793a | ocamlx(NCoq_Unicode_Utf8) |
| = ec384626add90f761b0623561e8fd9dc | ocamlx(NCoq_Unicode_Utf8_core) |
| = 6c64b90a3f07b62cfce267587dc44cf4 | ocamlx(NCoq_Vectors_Fin) |
| = 1c16721cda37a803eebacc2848ed7a11 | ocamlx(NCoq_Vectors_Vector) |
| = 3bb8a3ea60c68894a165f25ae9109ae5 | ocamlx(NCoq_Vectors_VectorDef) |
| = c5819406f2b38380a828e2e94d8411bc | ocamlx(NCoq_Vectors_VectorEq) |
| = 12ebb9a47e3c5d2cc5cbc8c778804b90 | ocamlx(NCoq_Vectors_VectorSpec) |
| = 5f69efe88e1c3a40c85a6366e782be06 | ocamlx(NCoq_Wellfounded_Disjoint_Union) |
| = 61423ff402ef6df76b1d1fa375f7af8e | ocamlx(NCoq_Wellfounded_Inclusion) |
| = 57f613e3c185942c332d8bc2e7f6cb41 | ocamlx(NCoq_Wellfounded_Inverse_Image) |
| = b221903dfed49cad2d64296e4e9c7b6d | ocamlx(NCoq_Wellfounded_Lexicographic_Exponentiation) |
| = 489ef1ddad843fb32909fd08a6a86aaa | ocamlx(NCoq_Wellfounded_Lexicographic_Product) |
| = 7f726a77c7070ee4b19e98fded5b8454 | ocamlx(NCoq_Wellfounded_Transitive_Closure) |
| = e6284a2c66d2657b304840f2384dcf26 | ocamlx(NCoq_Wellfounded_Union) |
| = 25d107b225b53532ddfdcd84114d0030 | ocamlx(NCoq_Wellfounded_Well_Ordering) |
| = 51849bcd0f4a85823df04d25f6964933 | ocamlx(NCoq_Wellfounded_Wellfounded) |
| = c4a9b46f1cfaa7b4241dfdf95e572d2b | ocamlx(NCoq_ZArith_BinInt) |
| = 0ee832e10a1d1662253874add500f87c | ocamlx(NCoq_ZArith_BinIntDef) |
| = 6594a95a9b34dfa73c3fe5f5cce7025a | ocamlx(NCoq_ZArith_Int) |
| = f9e4d5f5dcbdf68d6515538337ca1b69 | ocamlx(NCoq_ZArith_Wf_Z) |
| = 7558c5f656da52aa16ad65ccf993bc2d | ocamlx(NCoq_ZArith_ZArith) |
| = 5a794d7491f290f83609f3391a1804ae | ocamlx(NCoq_ZArith_ZArith_base) |
| = 7fc232044fc24cccd04e1999e0a296c9 | ocamlx(NCoq_ZArith_ZArith_dec) |
| = 03ef24d9cc91a1c6752a863af82d73e2 | ocamlx(NCoq_ZArith_Zabs) |
| = fa2c610108e4b1dc6ecc995c02a6e91a | ocamlx(NCoq_ZArith_Zbool) |
| = 9bb3415492b22dc4254bd9cdbf0c5311 | ocamlx(NCoq_ZArith_Zcompare) |
| = 66047ae8941b398ff173878b8e8da578 | ocamlx(NCoq_ZArith_Zcomplements) |
| = 60c56ffdd74541f20aa1eb29c1586b66 | ocamlx(NCoq_ZArith_Zdigits) |
| = 3aca1dcb9438b2b9e74aac3053cdad6a | ocamlx(NCoq_ZArith_Zdiv) |
| = 734edcef6c1cc990ffc6ffaa2c6716f6 | ocamlx(NCoq_ZArith_Zeuclid) |
| = cd868cc0c2134a74bc4db632a14ea0e9 | ocamlx(NCoq_ZArith_Zeven) |
| = 2ac14171a346457ece1833d80470d867 | ocamlx(NCoq_ZArith_Zgcd_alt) |
| = b6161e0d0b90b3a24759285be2f26d4b | ocamlx(NCoq_ZArith_Zhints) |
| = aab23a5ae8c7b3628370ed94bd9b95d4 | ocamlx(NCoq_ZArith_Zmax) |
| = 2bd4a4cf1e1857c8753f6df234546819 | ocamlx(NCoq_ZArith_Zmin) |
| = 84d4db3be0bd1744f35e9f8110e1d3ce | ocamlx(NCoq_ZArith_Zminmax) |
| = 9ce1916cf9197b524d82cb0e56cca5a2 | ocamlx(NCoq_ZArith_Zmisc) |
| = ac398a0f366b34bf680f4cecd3aa2f6c | ocamlx(NCoq_ZArith_Znat) |
| = 0934824a4cca3b5d06b8cbcd8319f426 | ocamlx(NCoq_ZArith_Znumtheory) |
| = f58f71b9d32cc4ff6346e9d051ffbe39 | ocamlx(NCoq_ZArith_Zorder) |
| = f7f4858d93700bc9af65e226918cd444 | ocamlx(NCoq_ZArith_Zpow_alt) |
| = c9b271bc00152bbd39f5e2a50facbd04 | ocamlx(NCoq_ZArith_Zpow_def) |
| = 178238530df4c710ae8b9a72b5d23df3 | ocamlx(NCoq_ZArith_Zpow_facts) |
| = 1712cf7e6612ab942b61af05f5688f64 | ocamlx(NCoq_ZArith_Zpower) |
| = 40cfd58a6fecfe365f3cb6520c647aad | ocamlx(NCoq_ZArith_Zquot) |
| = 1681275369fa276738c37799d9b38e59 | ocamlx(NCoq_ZArith_Zwf) |
| = 0f9300290cf31509c3436e1602c85f9f | ocamlx(NCoq_ZArith_auxiliary) |
| = 5ce019d14cd442404ab3ac9e99be70dc | ocamlx(NCoq_btauto_Algebra) |
| = 3fcc2dc8aab9d9381c41c60276832943 | ocamlx(NCoq_btauto_Btauto) |
| = d60552b25ca8c8bb82a224b81a441aad | ocamlx(NCoq_btauto_Reflect) |
| = ae59bfbf03c6d61798fa02d52dedb328 | ocamlx(NCoq_derive_Derive) |
| = 2c36fdc649eb5f6eac708a3b8de8cffd | ocamlx(NCoq_extraction_ExtrHaskellBasic) |
| = 22d5cb024cdc7d2ccf37f7e2b60c86cc | ocamlx(NCoq_extraction_ExtrHaskellNatInt) |
| = 70f4cc0b4c69f5776a6ee27440181b5b | ocamlx(NCoq_extraction_ExtrHaskellNatInteger) |
| = 20ba95a8c0b13389eaf51181541737a7 | ocamlx(NCoq_extraction_ExtrHaskellNatNum) |
| = 632a868266e0ceb41f755f7949c92177 | ocamlx(NCoq_extraction_ExtrHaskellString) |
| = a2b715a149664f005aba2f9d8ae00c29 | ocamlx(NCoq_extraction_ExtrHaskellZInt) |
| = 624c2287065f5f26fcbf92a9da18c55c | ocamlx(NCoq_extraction_ExtrHaskellZInteger) |
| = 89fd9e4a31d4d3ac3f9bf04c749a963b | ocamlx(NCoq_extraction_ExtrHaskellZNum) |
| = a41ed14ae19dd74f0ebbcde5fd95df41 | ocamlx(NCoq_extraction_ExtrOCamlFloats) |
| = b3168718ad979dd4d6a44bb73b5dbb60 | ocamlx(NCoq_extraction_ExtrOCamlInt63) |
| = 11c078c4d68d1cb351f685b571286378 | ocamlx(NCoq_extraction_ExtrOCamlPArray) |
| = 555b887602fb09fa8a93d85f6eb5f955 | ocamlx(NCoq_extraction_ExtrOcamlBasic) |
| = 5f07ec80a2aeb1e6b5e5f948ab57f1ab | ocamlx(NCoq_extraction_ExtrOcamlChar) |
| = 643d1ccab476ff8c28d6a4aea984364f | ocamlx(NCoq_extraction_ExtrOcamlIntConv) |
| = 4128c132d501e175f5593f8104728aaa | ocamlx(NCoq_extraction_ExtrOcamlNatBigInt) |
| = b322553b18560405d6153b12144586d4 | ocamlx(NCoq_extraction_ExtrOcamlNatInt) |
| = ac56af14310758ebd4c3787d2a957106 | ocamlx(NCoq_extraction_ExtrOcamlNativeString) |
| = c12b4d178ac0b206a0ee02ecb66b80bb | ocamlx(NCoq_extraction_ExtrOcamlString) |
| = 94ae14ec9f27d0f178327269c1fc0665 | ocamlx(NCoq_extraction_ExtrOcamlZBigInt) |
| = 428564630f920fc6dbbbffadedec3432 | ocamlx(NCoq_extraction_ExtrOcamlZInt) |
| = 04f36ea07226df25e7dc453e3a2ea4e7 | ocamlx(NCoq_extraction_Extraction) |
| = 0d4ce069401f3b825a37dea9530e1eeb | ocamlx(NCoq_funind_FunInd) |
| = 002abdb641d46e8f87b634d071a7f244 | ocamlx(NCoq_funind_Recdef) |
| = 96b37dd10a2e4971af052ef12a69bf20 | ocamlx(NCoq_micromega_DeclConstant) |
| = c6ff0ffffe6aac35bc9547059c1e5149 | ocamlx(NCoq_micromega_Env) |
| = 344d3a1606061928170a7c6ea5a15b4c | ocamlx(NCoq_micromega_EnvRing) |
| = 2209811ef2e26644f626aed236a3e6bb | ocamlx(NCoq_micromega_Fourier) |
| = 10d1ba7abd19bb69be7e4fe5da566cd6 | ocamlx(NCoq_micromega_Fourier_util) |
| = 80dd0cec6fc00471a0e2e52754fbaa76 | ocamlx(NCoq_micromega_Lia) |
| = e79e110640a0e0bfcb378863780fec43 | ocamlx(NCoq_micromega_Lqa) |
| = a350703c39889feea7bbb4d37c580ff4 | ocamlx(NCoq_micromega_Lra) |
| = 6d1fe0bf47eb5b2ad2c5b91fd6d30243 | ocamlx(NCoq_micromega_MExtraction) |
| = 9bac6bc13a0bc0e44597a2bee47828a6 | ocamlx(NCoq_micromega_OrderedRing) |
| = 9010501fd5414c1ab0e02a9e5539c503 | ocamlx(NCoq_micromega_Psatz) |
| = b53a5c7c05ab1ee8bfd13087a3c96a13 | ocamlx(NCoq_micromega_QMicromega) |
| = 33290a78d63e2b2cef6903f026a4aa78 | ocamlx(NCoq_micromega_RMicromega) |
| = 00e51463db85427bea89fd52b3df0bd1 | ocamlx(NCoq_micromega_Refl) |
| = dc1ecb435c4cc5f2ac31c895973fea86 | ocamlx(NCoq_micromega_RingMicromega) |
| = b26ff2acac23124c7290afdf0c6bd69e | ocamlx(NCoq_micromega_Tauto) |
| = 51333da2cd9ff7763cda1bdc2fef77a0 | ocamlx(NCoq_micromega_VarMap) |
| = 0c266563e138c515770f44651e885bdd | ocamlx(NCoq_micromega_ZArith_hints) |
| = c742066b1374046f698296cca24ee23d | ocamlx(NCoq_micromega_ZCoeff) |
| = 09ef74f1ad39b4a61a1b3eaec37f082d | ocamlx(NCoq_micromega_ZMicromega) |
| = 2790ee514420e15bc3ac5aa3730f7de9 | ocamlx(NCoq_micromega_Zify) |
| = 844ce99a2f1d5c3ca9f0a0051a7673e7 | ocamlx(NCoq_micromega_ZifyBool) |
| = 24e95427bc2870d57d3795e7b984b189 | ocamlx(NCoq_micromega_ZifyClasses) |
| = b8dd9b79dbd715a46e54d0170c328794 | ocamlx(NCoq_micromega_ZifyComparison) |
| = 6a3c5325dd55ac1384860e0b1e317337 | ocamlx(NCoq_micromega_ZifyInst) |
| = 774309f12ddf82805e452e7363879389 | ocamlx(NCoq_micromega_ZifyN) |
| = c4ade0065ac6c4471916d61680f926a6 | ocamlx(NCoq_micromega_ZifyNat) |
| = b65eb3e4ff07fca9156094616bbfbfe6 | ocamlx(NCoq_micromega_ZifyPow) |
| = 5691e5837d584012057acd1058c2632f | ocamlx(NCoq_micromega_ZifySint63) |
| = 7b1d48e6a98f27ce6149a31f9f747099 | ocamlx(NCoq_micromega_ZifyUint63) |
| = 15fc2af0eb88f99b8c48887ef6026b62 | ocamlx(NCoq_micromega_Ztac) |
| = d858f814cfc096e55c0931521fe43fdd | ocamlx(NCoq_nsatz_Nsatz) |
| = 617c279ef35eed72799c16118bbb6111 | ocamlx(NCoq_nsatz_NsatzTactic) |
| = 61a1465db5fc23c0f3ca5d1595284d54 | ocamlx(NCoq_omega_OmegaLemmas) |
| = a597a38ec5ac11aad17a6b1fbe27b5e4 | ocamlx(NCoq_omega_PreOmega) |
| = 0094372b92e42ad676724dd0e0f80bac | ocamlx(NCoq_rtauto_Bintree) |
| = a042390f07c67ee8592c5f3884d53ba8 | ocamlx(NCoq_rtauto_Rtauto) |
| = 522005d85306d0e62ca1b64ef68a26ed | ocamlx(NCoq_setoid_ring_Algebra_syntax) |
| = 40a180b712d9540396a11e768c11473c | ocamlx(NCoq_setoid_ring_ArithRing) |
| = e0abb9b4c6310b3645437c24a7481724 | ocamlx(NCoq_setoid_ring_BinList) |
| = 073821d89b2ab74583dc6659a0dd5c40 | ocamlx(NCoq_setoid_ring_Cring) |
| = 5ecf21e5c5c8ccd8e60be97a1af92173 | ocamlx(NCoq_setoid_ring_Field) |
| = 8219d8ae37d7ad258d4f5942d29134ca | ocamlx(NCoq_setoid_ring_Field_tac) |
| = faa19e5f94e40c85bc05b19716b0bee9 | ocamlx(NCoq_setoid_ring_Field_theory) |
| = ce363968ba06c794fb68e48984a13d31 | ocamlx(NCoq_setoid_ring_InitialRing) |
| = 8964a10e5f6a17c4c8ef2230dfd5266e | ocamlx(NCoq_setoid_ring_Integral_domain) |
| = 539fc7ffeacffe40e91f931032bdbe86 | ocamlx(NCoq_setoid_ring_NArithRing) |
| = ba0963771d613271f55f42d9326f0ed7 | ocamlx(NCoq_setoid_ring_Ncring) |
| = e1e1515130726d8e32bafb935a7cfeb2 | ocamlx(NCoq_setoid_ring_Ncring_initial) |
| = 471691cbafdff88b2ee947359303b9f9 | ocamlx(NCoq_setoid_ring_Ncring_polynom) |
| = ec65d9964e5672eb29e003108e90c233 | ocamlx(NCoq_setoid_ring_Ncring_tac) |
| = 09a355091e957b2dd6c5bb1fd0d3c0e9 | ocamlx(NCoq_setoid_ring_RealField) |
| = 80fe5d31034b10edf251572bdab3e115 | ocamlx(NCoq_setoid_ring_Ring) |
| = 10e7b92dac5575a877c2e91fdb28f5b1 | ocamlx(NCoq_setoid_ring_Ring_base) |
| = 6ab9d23b5ff853375c40103c83e8f180 | ocamlx(NCoq_setoid_ring_Ring_polynom) |
| = 674e342794e610651130513f52704c00 | ocamlx(NCoq_setoid_ring_Ring_tac) |
| = 011ca51ce89072f8ef5c6aeebbcfa281 | ocamlx(NCoq_setoid_ring_Ring_theory) |
| = da1f56ba9fff824a2d400f8f736164b6 | ocamlx(NCoq_setoid_ring_Rings_Q) |
| = 6e07150f5967c52bcf0e76ff43c2597d | ocamlx(NCoq_setoid_ring_Rings_R) |
| = 4d3af54d9f1bfee4d765f1fde412add1 | ocamlx(NCoq_setoid_ring_Rings_Z) |
| = ce13afa304acea00a5b00e0b5b7d5df5 | ocamlx(NCoq_setoid_ring_ZArithRing) |
| = f2e914031a466c749f58286b8559f55b | ocamlx(NCoq_ssr_ssrbool) |
| = 45e9e7be604d6be973ac64aeb48dc8cb | ocamlx(NCoq_ssr_ssrclasses) |
| = 78d8b5e89d7936b766e12dcfe9267893 | ocamlx(NCoq_ssr_ssreflect) |
| = 1210d51be63e4e5411ee9732d43821a3 | ocamlx(NCoq_ssr_ssrfun) |
| = 8cb9b6085bc49d480ed26bcfaa3c7df6 | ocamlx(NCoq_ssr_ssrsetoid) |
| = 1ffabee920753c05414163d964d4109f | ocamlx(NCoq_ssr_ssrunder) |
| = 5ba27c36ac48eefefc393f39b77bb56a | ocamlx(NCoq_ssrmatching_ssrmatching) |
| = 9892b33a527ce914d05ed9ed5d0f480b | ocamlx(NLtac2_Array) |
| = 13da6880b9567eb119180ab954ff38e0 | ocamlx(NLtac2_Bool) |
| = d690b52ef460c6043f7edb17b63592a7 | ocamlx(NLtac2_Char) |
| = 7c7428bf0885aa550f5ad4d38223222e | ocamlx(NLtac2_Constr) |
| = 29c1c65455a5a76a5483ffdd82178899 | ocamlx(NLtac2_Control) |
| = bba5d7095d44581f024e243ef5c031da | ocamlx(NLtac2_Env) |
| = 37f98b99a98e728ee0c074bba61b6054 | ocamlx(NLtac2_Fresh) |
| = 56bf7e2836a79c0e6836220604345292 | ocamlx(NLtac2_Ident) |
| = 760d4923e1da081f4da7ee6b2b116ef9 | ocamlx(NLtac2_Ind) |
| = 1280dc17c783dd155f4b46ccd0e6558f | ocamlx(NLtac2_Init) |
| = 37cfc7e5b136b6b74a356d8f4619a38a | ocamlx(NLtac2_Int) |
| = 21e32ae62558cf99ec3ccf4686b56cb8 | ocamlx(NLtac2_List) |
| = 83148db76458588e03a2f03880a558f6 | ocamlx(NLtac2_Ltac1) |
| = 56869f64553475ef33be32989eaf2803 | ocamlx(NLtac2_Ltac2) |
| = 8d03c438fee6b2c1442b1ce34889d2bc | ocamlx(NLtac2_Message) |
| = 78efc29bc061630c9207794e161057b4 | ocamlx(NLtac2_Notations) |
| = af3266845824a9634cb20d9ec1058504 | ocamlx(NLtac2_Option) |
| = ed3c92c006a5d395d0c890f66b443529 | ocamlx(NLtac2_Pattern) |
| = 65e2d131d94963efe4628eee78c4f48c | ocamlx(NLtac2_Printf) |
| = d26d39258e0771dec7b934d43befb334 | ocamlx(NLtac2_Std) |
| = 17a0f6b4a2057edc79a3fd5e8c06a7b6 | ocamlx(NLtac2_String) |
نحوه نصب
نصب پکیج rpm coq:
dnf install coq-8.16.1-1.fc37.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/.build-id |
| /usr/lib/.build-id/00 |
| /usr/lib/.build-id/00/3d8de4808a84bb353033540faa3476afca73b4 |
| /usr/lib/.build-id/00/84d9ee0bb3bc640247326f7324bcb7bfcb7a0c |
| /usr/lib/.build-id/00/e35322058a525ab471ffd84bc5b04e159ff5bd |
| /usr/lib/.build-id/01 |
| /usr/lib/.build-id/01/95715643a992a8b68472a8b10f2f6f05a92c69 |
| /usr/lib/.build-id/01/aa4dc5b6a3764531849a3206e7a00def0806a7 |
| /usr/lib/.build-id/02 |
| /usr/lib/.build-id/02/505a1563da43a09a59e9859820d64a9e1a8cc9 |
| /usr/lib/.build-id/02/59f4fad003a42a2382e4fb92f24e579327ff1d |
| /usr/lib/.build-id/04 |
| /usr/lib/.build-id/04/30f14204f6dee5485a377dc6ef55d488cdfe0c |
| /usr/lib/.build-id/04/7659f1fa5e00afbd7f068a71842701ae0cae7c |
| /usr/lib/.build-id/05 |
| /usr/lib/.build-id/05/17ee331584163d00679cde5f8f12967fee8538 |
| /usr/lib/.build-id/05/24cab402f8be52c6e0f0cb5647374c21336571 |
| /usr/lib/.build-id/05/d16996c2d0b357d148618f3bc453fd9af53fa1 |
| /usr/lib/.build-id/06 |
| /usr/lib/.build-id/06/6b901a09bf22375e42a75f8c059097497a6417 |
| /usr/lib/.build-id/06/e1a9d67cdfdf18c116470b6d0a4021a8c04d7c |
| /usr/lib/.build-id/06/f78eab1dcf4261dd61d2d6efece570804a548e |
| /usr/lib/.build-id/07 |
| /usr/lib/.build-id/07/b35b3b9e6f35e52656991333af1124705a99d5 |
| /usr/lib/.build-id/08 |
| /usr/lib/.build-id/08/38ecae905802c3fcb9364e4da308767f862059 |
| /usr/lib/.build-id/08/3d793d74cb032eb4a8b4da574cfe690d4e7e7c |
| /usr/lib/.build-id/08/68808f405ba289e3e5edb1c3ed048112dae2b7 |
| /usr/lib/.build-id/08/75bd9dafb59d98184fb6913df42342b9678de4 |
| /usr/lib/.build-id/08/c304472ea922aa991c15bec7b967664fbf9891 |
| /usr/lib/.build-id/09 |
| /usr/lib/.build-id/09/38b761ffab4845c2d7c1f20030d7b4c208b5f1 |
| /usr/lib/.build-id/09/beaa73df55c72d8699455c7da28f5ce18a4b7f |
| /usr/lib/.build-id/09/c70de2e55ef0ef9c9ed05c6df5453dedb0bc45 |
| /usr/lib/.build-id/0a |
| /usr/lib/.build-id/0a/9c9d69f8df03f7b52c572bc3e7c31a3ef67167 |
| /usr/lib/.build-id/0a/d0ca215249988f451ae5e822731adf4f4da0cd |
| /usr/lib/.build-id/0b |
| /usr/lib/.build-id/0b/24bb2fe9c7282d03f488f83f6ee49a064c7730 |
| /usr/lib/.build-id/0b/45f52bfb564bf75ab4c454cfc1efa6dc2cb401 |
| /usr/lib/.build-id/0b/951861c603b4201e3466e8572add4444396efa |
| /usr/lib/.build-id/0c |
| /usr/lib/.build-id/0c/884d88636c5405433ae6962c37de9d90d17b8b |
| /usr/lib/.build-id/0d |
| /usr/lib/.build-id/0d/0bd7422d864643cc793a2a9afd1071204e6782 |
| /usr/lib/.build-id/0e |
| /usr/lib/.build-id/0e/4ebbd6170a2480b4be0e5fd844e5ae477ab346 |
| /usr/lib/.build-id/0f |
| /usr/lib/.build-id/0f/31399c198a53e3234e9c4d2aa190107e03767c |
| /usr/lib/.build-id/0f/3bf4a5dc7a3db73959a3852ac9c401acbe694b |
| ... and 5538 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|
| 2021-11-30 |
Version 8.14.1
|
| 2021-10-21 |
Version 8.14.0
|