coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Karl Crary <crary AT cs.cmu.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] What became of the Coq standard library web page?
- Date: Fri, 14 Mar 2025 16:41:00 -0400
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=crary AT cs.cmu.edu; spf=Pass smtp.mailfrom=crary AT andrew.cmu.edu; spf=None smtp.helo=postmaster AT mail-qk1-f170.google.com
- Ironport-data: A9a23:ty/keKhh6raF691leQzHrQvZX1616RQKZh0ujC45NGQN5FlHY01je htvCm6PPvbcM2Skcthxb9y3phwBvJXdmtE2SApoqH1nFitjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDtIg06/gEk35qmq42pE5gVWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGUmE5INAGw/9LHUZF8 Oc5MR8PaUCgmLfjqF67YrEEasULKcDqOMYGuSglw2iGVbApRpfMR6iM7thdtNsyrpoWTLCOO oxDM2ApNUuYC/FMEg9/5JYWl/2hnGjXejtUsl+K46Ey/i7ewBEZPL3FaoOPK4zWGJgM9qqej k/8/0jCMhhGDZu4+yeMrnyHu6iTrSyuDer+E5Xjq6cy3wzNroAJMzUdUkL+qv2kgGalStdHI goV/DAvpO487iSWosLVWhS5pDudvUdZVYMPS6s17waCzqeS6AGcboQZctJfQIIGu9JrWwUz6 kOulNbyJCVAsrrFam3Io994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHoYL/Emd3o2dJN3g/ w1muhTSkFn6sCLm/6Cy/FSCmjH145aQEVZz6QLQUWaoqAh+YeZJhrBEC3CKtZ6sz67AETFtW UTofeDAtYji6rnTzUSwrB0lRu3B2hp8GGS0baRTN5cg7S+x3HWoYJpd5jpzTG8wbZpdKW6xP xeI6VgPjHO2AJdMRf8nC25WI5R6pZUM6fy5DJg4k/IXMscsLFPZoEmCm2bLgz28zxhEfV4D1 WezKpv1VSlLV8yLPRK5QOAS1bJjxyY1gwvuqWPTnnyaPU6lTCfNE98taQPQBshgtf/siFuPr 753aZDRoz0BC7KWX8Ui2dRCRbz8BSNjXciuwyGWH8bfSjdb9JYJUaOAkep/Jtw1wsy4VI7gp xmAZ6OR83Kn7VWvFOlAQikLhGrHDMcv/0EodzchJ0ip0HUFaIOipvVXPZgucLVtsKQpwfdoR rNXM4+NE9ZeeAThoj49VJjaqJA9VRKJgQnVATGpTgJidLFdRivI2OTeQC3RyAc0ABCK6PQO+ 4+b6luDQL4oZRhTM8LNWff+k3KzpSc8ncxxbWvpI/5SWkXm9bJ7GRz6k85tepgoLCvAygC7z CeTOw8T/sPWkr828f7IpKGKlJioGO1ABXhnH3HXwLK1FCvC9Eyhyp9kfMfRWh6FT0Ly2qGpR dsN/sHGKPddwWp76dttIYhk3YcVxoXJpYYD6i9GAX+STVCgKo04E0m8xcMV65F8nO5IizCXB HCK1MJRY4iSGcXfF1UUGgopQ8KD2dwQmRjQ9f4FG1r71gAm4Iu4VVhuADfUhBx/NLdVNKYX8 dUlsuMS6C29jUMOGfSChSZ26W+NDyIhV4MKi5IkO7Lo2zEbkgx6XZ/hCyHN8M6ubfdIORIUO TO6vvfJqIld4UvgSEANM0bx89BTvrk0gyAS/mQ+fwyIvvHnms4I2AZg9GVrbwZNkTRC/eFBG klqEExXJ66fojVitPVebV+WQiBAGxyr1UjjwHQZlGDibheJV06cCEYfKOqy7EQi3GYERQdi/ Zac0zzDQxvxWcPMghsJRk9ursL8QexL9gHtnN6tG+KHFcIYZQXJr7CPZ21SjTfaGuI02VP6o Nd18NZKaaHUMTAap4s5AdK40ZUSUBW1G3xQc8p+/a8mHXDuRx/q4GKgc3uOQ8JqI+DG1WSaC MY0f8JGaEmY5Ra09zseAfYBHq9wkPsX/+E9Q7LMJ1Mdkr6hvzFs4YPx9C//uTcReO9Qs/0Bc 6HfSzHTNVarpypwu3TMp8x6KGaHcYE6RAnj7tuUrsQNNbw+6d9JT29j84GJr020MRRm9S26p AnsRbHb5M08xJVOn7nDKLRiBQK1I+zdTO6jqRC6oflSX9HiauLl6gUf8AjhNStrIIpLCshWl KuMgvHzzkjqrLY7aEGHupijRo1ix9S+Y/pTCe3zdEJlpCqlXNT+xjcy4Ea6IoxtvPIEwef/X Cq+Ss+7VeBNaudn3HcPNhRvSUcMOZr4foLLhH2brc3VLjM/zAaeDtes1UGxXFFhbiVSZqHPU F7lic2PuOJdgp9HXiIfJvdcBJR9Hl/vdI0me/D1thiaFmOYuUyDiJSziSsf7Sz3NVfcHPbY+ Z7lQj3MRCa2sozMz/BbtNVWlT8TB3Bfn+IxXxw8//hbtjOEN1MFfN8tacg+NpJpkyLMjcCyI HmHaWY5EizyUAhVaRi2spypQg6bAfdIIdvjYCAg+0SPcSqtGYecG/1b+zx952ttMC7WpA19x QryJlWrVvRw/n1oeQrXzvmygOMi3/CDg3xRphi7nMv1DBITR74N0RSN2eaLuTPvS6nweIfjf ADZhlyohGmyT0LrHNkmcHtIXhwVoVsDCh02ODyXzo+3V5qzlYV9JT6WBw03+rYYKs8POfgDS W6fq65hJYyJ8iR7hJbFcO7FTUO55Txn0yR6wGLeqdUuopyN
- Ironport-hdrordr: A9a23:zE56EapTYtNzo0yo4tNdlH4aV5oPeYIsimQD101hICG9Afbo7v xG+85rqCMc6QxhIk3I/OrrBEDuewK4yXcY2/hoAV7AZniDhILLFvAB0WKK+VSJcFycygc078 ddmsNFeabN5DZB/KDHCUWDYrEd6ejC3qTtq+m29RhQpMJRB52ILT0VNu9WKCNLrcB9ZKYEKA ==
- Ironport-phdr: A9a23:Q6N7xBckK1jiluuIA2j3hK4elGM+gtfLVj580XLHo4xHfqnrxZn+J kuXvawr0ASTG92DoKsf0rqO+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL1sI BmssQndqsYajZZsJ6osyRbFvmZDdvhLy29vOV+ckBHw69uq8pJk7ypepe8q+dRaUaX9caQ4T LhYAyojPmso+sDltgTNQBWW6HcEXWoYjhRHAw7e7BHnRZjxqTf1tvB82CaBI8L7S60/VCm44 KdqTB/ojzoHNyI8/WrKhMF8kL5XrRS8rBF53oXaYpyaNOBmc63ec90VSmROUNhRWSJcHoyyY JACD/YDMOtCs4Xxu0UCoBm4CAKxBO3v0DhIhnru0KM/yeshCwXG1xE+EtIUqnvUttX0P7oVX O+p1qnH1y/DbvNN1Djh84jEaAwuofSRXb5qb8Xe1FQvGhrDg16NpoPrIymb2f4Rs2iH8eVgT +SvhnYkpgx/rDWi2sMhh4vNi48UxV3J8Tt0zYgoKNClSEB3fdCpHYZeuiyeOIZ7Qd4uTmV1t CsnzrALvYC2cTQExpkpwRPUdv+Jc5CQ7x79SOqcJS10iXFldb6lmRq+71asxvfhWsS2zFpGt jdJnsfPu3wXyRDf8NaLRuZg8ku7xzqC1wDe5+dZKk0qkarbNoUhwqIumZoJrErDHy73l1vug aOKcEgv5/Km5P79Yrr8o5+RL490hR/6MqQpgsG/BP43MgkKX2SC4OS816Dv8VT3QLlXjPA6j rPVsJ/dJcQcqa65BxFa3pw/5Ba4CjeqyNUYnX8ZI1JZYB+LkZTlNlXULP37DfqzmUqgnCl1y /zcI7HsAInBImDGkLj7fLZ970BcyBA0zdBa/59bFqsBL+jpWk7xr9HXFBk5PBGuw+n5BtRxz J8RWWeSAqODLqzdrEKI6vopI+aXfIAVoiryK+A55/7yin80gUIRcbGz3ZQLcHC4AuhmI0KBb HXwhdcBCH4GsRY6TOz3k1KPSiVTZna3X6Ik/D43EoOmDYHZRoCsmrONxim7HocFLlxBX1uLC DLjc5iOc/YKciObZMF7wRIeUr30aIY70VmFrgbg2vIzJfDd4Dwwvoml391ooeDfiEdhpnRPE 82B3jTVHClPlWQSSmputEgeiUl0y1PZlLN9n+QdD9tYofVATgY9M5fYie18EdH7HAzbLZ+SU FjzZNKgDHkqS84phccUahN2Ady4nzjIxGyhBqJTmrCWV9Qv6qyJ53HqPI5mzmrekqwojl0oW MxKYGa8j7Ru3wHVC5TEjAOSkrvseKgBj2bW7GnW622IsQlDVRJoF6XIWXdKfkzNsdHw/V/PV ZerALUjdxJCkIuMc/QSLNLuilpCSbHoP9G2j3uZvWC2CF7Iw7qNaNCvYGABxGDHD0NClQkP/ HGAPAx4ByG7omuYAiY8XVToK1jh9+VzshbZBgc90h2KYkt91rG05g9dhPqSTOkW164FvyFpo it9HVK01dbbQ9SaoA8pcKJZaNI7qFBJsACR/wdnN4axB6t5wFUbbkJ6s16vnxR7B4NckNQ7+ WswxVk6IqaZ3VVdMjKAiMqoa/uHdy+opkrpMvGOiTS8mJ6M96wC6eo1sQDmtQCtTA859ml/l sNS2D2a74nLCwwbVdTwVFw2/l50veK/AGF16oXK2HlrKaTxvCXF3odjD/Es0AeIdtFTKq6bU gT3DosXC9Xke4lI0xC5KwkJOuxf7vt+NNmvbequ07XtN+N92j+qkC4UqJA42UWK+S1mT+fO1 JtQ2PCU0DyMUDLkhUuguMT68WxdTQkbBXH3iS3tBYoLI7Z3YZ5OE2ClZcu+2tR5gZfpHX9e7 l+qQV0cioelfh+bblq12gM1twxfqmaugzqQxjp4iTw26KGawWrDz/mqeBccO2FNTXVvlh+2e dny341cBhLyKVF2zFOs/g7iyrJepbhjImW2Iw8AZCXwI2x4E+OxureEf89T+cYtuCRTXv67Z APSQbr8rh0GliL7SjEGlXZrKnfw4M+/xkMi2wf/ZD5poXHUeN9930La7d3YH7tK2yYeATN/g n/RD0S9ON+g+ZOVkY3Cu6awTTHENNUbfC/1wIeHrCb+63dtBEj1lOq6gMzPGA42yyLkkdJvS GPFoAu2MeyJn+yqdPlqeEVlHgq24NBzAJBWm408npwPn3Mfm9OY8WdNwgKReZ1LnKn5anQKX zsCxdXYtRPk1ENUJXWM34vlV3+Zz5gpd5ygb2gRwC5489FSBfLe8ulfhSUs6Andz0qZcb1nk zwa0/dr9HMKn7RDpl821ivESrEUFk1FMSG+oErO2MumouNcYXvpfLStsSg21dG5UOPY+lAaC Cu/I81yW3c3t5o3MUqQgieqtMe9J5+BNpRK7ULTyE2IjvAJeshoyLxT1HohYSSl+iR1roxzx R12gcPg5dbBcT48uvnjREYfb2y9ZttPqGu00+ADzoDPjtrpRtI4S30KRMe6Fq7uSWNC8669a kDXQWRZyD/TGKKDT1TDrh43/zSeStbyby7fJWFFn44/AkDMfAoF3F9SBHJgwtY4Dlz4n5GnK RYgoGhXvhmh9H4ugqppL0WtCTiZ9VfuMGxuDsHFa0EMpgBauxWOborPvqQpRHsepNr69kSMM jDJPFsOXDFPABfeQQq9eeL0gLuIu+mAWrjlcL2fMfPU8rAYDbDTn9quytc0pGnKZ5XJZCI/S ad8gRALXGglSZmD3W9VEWpJzWSQNqv57F+94nEl85r5qq6xHl20o9LVU/wJa51u40zk3P3Fb bTKwnkib2YDnpIUmS2Vkv5FhgRU1HwoJ2TIc/xItDaRHv+K3PUNVVhLOmUpbpsA7rpgjFQXf 5CCzIKskO8wj+ZpWQoZEwWxxIfwNJdMejnncwidTBGCMLDMTdHS6+fwZ670CbhZjeEO8ga1p S7eCUjoeDKKizjuURmrd+BKliCSehJE6sm7dV52BG7vQciDCFXzOcJrjTAw3bw/h2/bfW8aP z9mdkpRr7qWpSpGi/R7EmZF4zJrN+6B0yqe6uDZLN4Rv54JSmxskPlG5X0h17ZPxCRNRfgwg SiL69A3/Angne6IxT5qFhFJr3cDhY6Gu1ljJbSM9pREXiWhnlpF5mGRBhIW4tp9X4e36uYAl 56Vzvi1cWgaoLe2tYMGCsPZKdyKKi8kOBvtQnvPCRcdCCSsPifZjlBcl/eb8juUqII7o97ig slrKPcTWVorG/cdEkkgEsYFJcI9VSkti6+zhcgE/3eh6hLUWYNXso2NBZfwSb3/bS2Ui7VJf U5C2bTjMYEaLZH2wWRnY1h+2Z3JQg/eBI8V5CJmaQAwrQNG9300HQhRkwr1Lwiq5nEUD/u9m BU73xB/beoa/zDp+14rJ1DOqUPYcWE0kNThxCmSKXv/dfjoG45RDCXwug46NZapG26dgiW7m 0B+OSiCTLdMybZsaDIy4Oc5kZBUX/VZUOtJbAJCnZmq
- Ironport-sdr: 67d49463_nzvVkif5VkAYV7qKp1o2wvqfkbDXoBEF1E9QMlZyoBlUaTU Q5UfLdGjJoIsnso/41Y4JueccfVf7Sv8ALmIdKg==
My bookmark for the documentation web page for the Coq standard library has gone 404. Where is it now?
-- Karl Crary
- [Coq-Club] What became of the Coq standard library web page?, Karl Crary, 03/14/2025
- Re: [Coq-Club] What became of the Coq standard library web page?, Matthieu Sozeau, 03/15/2025
Archive powered by MHonArc 2.6.19+.