Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Annals of Formalized Mathematics

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Annals of Formalized Mathematics


Chronological Thread 
  • From: Rob Lewis <rob.y.lewis AT gmail.com>
  • To: coq-club AT inria.fr, isabelle-users AT cl.cam.ac.uk
  • Subject: [Coq-Club] Annals of Formalized Mathematics
  • Date: Fri, 22 Mar 2024 10:13:45 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rob.y.lewis AT gmail.com; spf=Pass smtp.mailfrom=rob.y.lewis AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf1-f54.google.com
  • Ironport-data: A9a23:KHCLhax75iG94+6ZwqF6t+evwirEfRIJ4+MujC+fZmUNrF6WrkUHy WcbWW2OP/yKa2fzL48gbtm//ElT7ZKDy4NhQAdu+1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Ec3l48sfrZ9Es05q6q4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPc38dQLnkkBrYR+8kqDUNq+ 95FcC4CO0Xra+KemNpXS8Fpj8Unac3lZcYR5y0mwjbeAvIrB5vERs0m5/cChGZ21p0IRKiBI ZdFAdZsREyojxlnIFAdToN4mOq3h2LXfDhRqVbTrq0yi4TW5FUsgOC3bYWEK7RmQ+1ktV++t F/H71/oLStHJs22ih6H1Eyz07qncSTTA99LTOLpqJaGmma7zWsKTRYSSFGTuui8kkf4WtRFK kVS9DBGkEQp3EmiT924WxPh5XDZ4lgTXN1fF+B84waIokbJ3+qHLlgYfABjUM4dj8Y3amEm9 HuHvY6xGzM65dV5Vkmh3ruTqDqzPw0cImkDeTIIQGM5Dz/L8N5bYvXnHoYLLUKlsuAZDw0c1 NxjkcTTr7AajMpO06viuF6a33SjoZ/GSgNz7QLSNo5E0u+bTN/5D2BLwQGEhRqlEGp/Zgfa1 JTjs5bFhN3i9bnXyESwrBwlRdlFHcqtPjzGmkJIFJI87Tmr8HPLVdkPuWgmeBo5bJpVI2+Bj KrvVeV5tM870JyCPf8fXm5NI51xpUQdPY25CKqOP4UQCnSPXFXdrX8+DaJv44wduBNxyPlga MnznTeEAnEdBqBqhDuwTKF17FPY7nFW+I8nfriil07P+ePGOha9EO5ZWHPQNLxRxP3f+239r Y0PX/ZmPj0FD4USlAGModBNRb3LRFBnba3LRzt/LLHbc1U+Rzh9W5c8A9oJIuRYokicrc+Ql lnVZ6OS4AOXaaTvcF3QNCJQe/n0UIxhrHk2GyUpMBz6kzIgeIujpuNXPZc+YbBtpqQpwO9WX ss1XZyKIs1ObTDbpBUbT53297J5eDqR2AmhAiuCYRoERaBGeTDnwNHeQ1bQxHE8NRbv7coai J+85zzfWqsGFlhDDt6JSfeBzGGRnHk6mcB0VXTmOtN4JUfmqtBrDwfTjfYHBd4GBjue5zmd1 ieQWQw5o8uUqaAL0dD5v4K2hKb3LPlfR21xAHv+wYutExXj7k6P4NNlQfmZWzLwT0b28/iSX vpUxPTCL/E3plZGnI5iGbJNz6hlxd/Qi5JF7wZjDlPZRk+KD+5+H3y4wsV/jK1B6btHsw+QW EjU2N17O62MCfz1AmwqOwspQeSS5846wgCIw6wOH3z7wytr8J6sc0ZYZUCMgRMACopFCtoux ON5tfMG7wC6tAERDe+HqSJp7EWJEG0LVvQ2l5MdAbKzsDER9HN5XcX+BBP1sba1UPcdFmkxI zSRurjOuKQE+GrGbEgINCbs2chzuM0wnS5knX44CXaHoN7nvsMM/QZw9G03RztFzx8c3ONUP HNqBnJPJq6P3mlJgcRfbl+oACVEIgOTwW3q6l4zjGaCZVKZZm/MC2wcOOi240ES9VxHTAVb5 L21zGXEUy7gWcPMgg8efFFDkOO6a/Bc7SjAl9KDM+XfOqIlcBz3hqOKTkgZmSvNWM8eqhXOm rh3wbxWd6b+Cx81n4Q6LIu/jpE7VxGOIT15c8FLpa8mMznVR2Cv5GKoNUu0R8JqIs7K+2+eD +hFBJpGdza65Ra0ggErP4w+CJ4qo6dx//sHQK3hGkAeubjGrjZJjoPZxhKjuEAVGedRgeQPA aKPUQmdE16gp2pewE7Mi8hmBlCWQ/c5YC/E4eTk19lRSrwitrl3fFAQw4mEmSyfEDFa8iK+u CLBYK7rzNJe97l8oru0Eot/KlW1DfjRSNW39BuCtoUSTNHXbubLmQAninjmGAV0IYouX89Tq qSIleWu2WX5hasECTHHqcORE41Mw9u4Z8tME8fNNHIBtzCzaMztxBoi+m6DNp1Clu1G1PSnX weVbMiRd8YffsV0nll5SnF5PU4GKqLVaqzAm3uMn86UAEJA7T2dfcKVy3D5SEp6KAkKAsTaI S3psa+M4tt4ktx9NCUcDas7P64icU7RYop4RdjfrjLCM3KJhGmFsb7clRYNzzHHJ32HMcTi6 6L+WRnMW0WuiZ7M0e1mndR+jj8PAFZ5pNsATEYX1tp1qjK9VUotD+AWN7cYAZB1zA328rzFZ w/2UWhzMhWlAAx4cij97uq6D03bTqYLN8ziLzMkw1KMZm3kTMmcCb9m7WF7720wZjLny/q9J MoD/mHreCK82YxtWf1Z88nTbT2LHR8G7ilgFYHBf83O79I2BLwL0DllElMIW3GbVc7Kk0rPK C4+QmUsrIRXj6LuOZ4IRpKXMEhxUPDTI/EAYiKGwdKZsIKepAGF4OOqIPn9i9Xvc+xTTIPjh hrLq6+l7GWf23hVsqws0z7sbWmYFtrTdvWHwGTfqcH+Uk1+BqnL/y/PoMbXcPwfxQ==
  • Ironport-hdrordr: A9a23:LBPv8qzCxhqWcHk8NZZtKrPwIb1zdoMgy1knxilNoH1uA6ulfq WV9sjzuiWE6wr5NEtBpTniAsi9qBHnhPxICOAqVN/IYOCMghrMEGgN1/qH/9QiIUHDHyxmuJ uIv5IQNDQ4NzZHsfo=
  • Ironport-phdr: A9a23:wwm+KBRUOvyNHBF1ItWjxFIR4tpsonOVAWYlg6HPa5pwe6iut67vI FbYra00ygOTDMOCs6oP1reempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf7d/I A+roQnNqsUajotvJ6YswRbVv3VEfPhbymxvKV+PhRjw4du+8oB++CpKofIh8MBAUaT+f6smS LFTESorPWMo6sD1rBfPVQSA6GcSXWUQiRpIHhPK7ArmUZfrsyv1rfRy1S+HNsDrV780WDCi7 6B2SB/0jSoMKjA0/H3LhsF2kalWpg+qqR5izI7OeIyaO/pwcK3ec90HW2ROQt1cWDZdDo6md YYDE/YNMOReooLgp1UOtxy+BQy0Ce3zzT9HnWL906sk3OUvEAHGxxErEtUUsHTTt9r5LqcTX fqxzKbWwzTDbuhW1Czy6IjNaB8hoPWMUahsfsrWzEkiDgXIhUifpoL5JT2azPgNs3SF4Op6U +Kik3IrpgF+rzWt2soiipTFiI0Rx13E9St3wIQ4K9OkRUN7f9KpEIZcuj2GO4Z4TM4vXnxkt SI6x7AHpZK2fyYExZchyhXCZfKHdI2I7QjiVOaXOTp3mmpleLOkhxmu8Eiv1Ov8WdWq31ZRt CZFlcPMtn8L2hfO6caHUuNw8lm91TuLzQze6eFJLVopmafaKZMt2L49m5UVvE/eACL2nFj2j LSKdko64Oim9uXnY7T4qZKEK4N5jBz1PL40lcylG+s4NxADX2iF9uS4073u5Uj5T69Ljv0yi 6XZtJ7aKdkCqq63AwJY3Zwv6xm4Dzeh39QYmWcIIEhZdxKAiojlI1DOIPbmAvejm1mgjitny vTcMrDiApjBNGXPnbbjcLpn60NRxxI/zdVF6JJVDrEBLujzWkj0tNHAFB85NBe7z/znCdln0 oMRR2yOAq6CMK7Jvl+I4/ggI+iIZIMPpDn9LP0l6+bojXAigVAdZ7Wm3YMLaHCkGfRrO1iVb WL2gtgdCWcKohY+TOvyhVKeVj5Tfm++UL445jEmE42rFpzDR4CogLyZxii3BJxWZmZcClCNC 3jkbYuEW+1fIB6Vd8Rmi3kPUaWrY44nzxCn8gHgj/JmNePe9ykcuNf+z9Vv/MXYkVc5/DkyB s/bzmLeYXtzmzYyQDV++K1goFc1nk2E2+5pxfhVCt1Iz/xMWwY+c5XbyropWJjJRgvdc4LRG x6dSdK8DGRpJjpQ69oHYkInXs6nkgiGxS2hRbkci72MApUwtKPaxXn4YchnmD7dzKd0qV4gT 4NUMHG+wLZl/l3JAISPggOdmrmrbowT2SfM8CGIym/d9FpAXltIWL7eFWsaelOQqN344k3YS Lr7E7MtdBoHzcOdK7BiZdjgjFEAT/Dma5zFe2zkvWC2CF6Tw6+UKornf2JIxCLGFE0NiBwe5 16DPAk6QyOv+ifQUWAoGlXobEfht+J5rRtXV2cSyAeHJw1k3ruxoFsOgOCEDukU1fQCsTsgr DN9GBC82cjXApyOvVgpeqIUet477FpdsACR/wVgIpytKbxjjV8CYkx2uU3pzRB+FoRHl4Ajs noryAN4La/Q3klGcnuU2pX5O7ufLWeXnljncancnECY1NuJ+7wn5/ExqlGltwasVwIj/3hhz 9hJwi6E/JyZRAEWUJ/3TgM2700g/+CcMnR7vt2LkyAwYszW+nfY1tkkBfUo0EOldtZbauafE RPqVtcdDI6oIfArnF6galQFOvpT/eg6JZDDFbPO1ai1MeJnhD/jg35A5dU3yEWGsTs6TuPX3 o0tzPSR3w/BXDD5xgTE0Ii/icVfaDceE3DqgzLjDshAIKl/YocQIWirKsyzgN55gtS+PhwQv E7mDFQA1sizfBOUZFGoxgxc23Mcpnm/kDe5xTh5+90whpKWxzeGg+HrdR5df3VOWHEnl1DnZ 469k9EdWkGsKQkvjhqso0jgleBXo6F2Lm+bRkktHWC+NWZoFLr2sredYtVn55YhsCERW+O5K VyXUb/ypRIG3jirRTMPgmBmMWj05dOkw1RzkyqFIWx2rWbFdM0Vp1+X/9HaSfNLn3IHSCR+l TjLFw25Ntit88+TksSLueS/WmS9E5xLJHOznMXQ6W3iuzIsXEHs+pL70sfqGgU7zyLhgtxjV CGS6Q35fpGuzaOxd+RuYkhvAlb4rct8AIB31IUq1/RykTAXgIuY+X0fnCL9K9JejOjka3BLV HgPzsHU+yDq3URiKjSCwIezBRD/ioNxIsK3ZG8bwHd39cdATrbS6LFbnDBdrV+xrAaXav941 GR4q7Nm+DsRhOcHvxAoxyOWD+UJHEVWCifrkgyB89G0qKgELHbqa7W701By2MywFLzX6B8JQ 273I91xeE04ptU6Kl/H12f/r53paMWFJ8xGrQWayl/Bl7QHc893z6tSw3A7ZiSl+id5g+8j0 U4wgdfg59PBcjs1uvr+W089VHW9ZttPqG+zy/8GxIDOmdjoRM0pGy1XDsW2C6j0QXRC7bK/c FzWWDwk9iXEQ/yGQUnGuR0g9zWWQ/XJfzmWPCVLkokkHUPAYhQZ2EdNAn07hsJrT1j6gpW+L wEpoGhWvAewqwMQmLs3bF+mAzuZ/EHwLW5qLfrXZBtOslMYvxaTYZHYt7gjWXkfp8LprRTRe DbCOUIVXSdQCxbCXxe6b/Gv/YWSqbHGQLDlfr2VO/PW7rUPMpXAjYSm1o8sl9qVHuOIOHQqT /gy204ZGGt8B9ycgTIEDSoeiyPKacef4ha64Cx+6M6lorztX0r06I2DBqE3U50n8g2qgaqFK ++bhTpoYTde2JQWwHbUyb8ZlFcMgiBqfjOpHPwOrynIBK7Xn6ZWCVYcZUYRfINQ6Lkg2wBWJ cPBotb817o9ivBsTlkYCRruncamYcFMKGa4dRvGCEuNKLWaNGjLzsXwMsbeAfVbiORZsQH1u C7OSReyeGTe0WC3CFbybbIp7mnTJhFVtYCjfww4DGHiSIijcRinKJptijZwx7Qoh3TMPGpaM D5mckoLoKfDiEEQyvh5BWFF6WJoaOeenCPMpfPfINAH9/9mHSVvv+1f6XU+jbBS6WsXIZ490 DuXtdNor1y8x6OXzSF7VRNVtjtRrIeCvEEnPauAs5cdBTDL+xUC6WjWABMP7YgAaJWnq+Vbz d7Bk7j2ITFJ/ofP/McSMMPTLdqOLHsrNReB8N/8CQIESXuvOziaiREB1v6V8XKRo94xrZ2+w PLmr5dUUVU0ErURDUE3RLTqz794WzollfiQi8tavBKD
  • Ironport-sdr: 65fd9227_OVhnl/eEYF1GEloAw+qoqWdzrK/f6XDJPs/0R20qVblgoz4 LtN45G74+XWpk/qIfnjtgBhxI5KC1mzbX1H7U8A==

Dear all, 

Filippo Nuccio and I are very excited to announce the launch of the Annals of Formalized Mathematics: https://afm.episciences.org/

The AFM is a MathOA-supported diamond open access overlay journal. It publishes original articles about formalized mathematics and mathematical applications of proof assistants, spanning many proof assistant ecosytems. Papers should be written for an audience of mathematicians and should not focus on the details of the tools themselves. Papers do not necessarily need to present novel mathematical proofs but should describe the mathematical lessons learned during the formalization process.

Please keep the AFM in mind when you write up your next project, and help us spread the word!

**Scientific advisory board**
* Jeremy Avigad, Carnegie Mellon University, Pittsburgh, PA (United States)
* Georges Gonthier, INRIA Saclay Île-de-France, Palaiseau (France)
* Timothy Gowers, Collège de France, Paris (France) and Trinity College, Cambridge (United Kingdom)
* Tom Hales, University of Pittsburgh, Pittsburgh, PA (United States)
* Sophie Morel, CNRS, École Normale Supérieure de Lyon (France)

**Editorial board**
* Antoine Chambert-Loir, Université Paris-Cité (France)
* Manuel Eberl, University of Innsbruck (Austria)
* Sébastien Gouëzel, CNRS, IRMAR Rennes (France)
* Alex Kontorovich, Rutgers University, Piscataway, NJ (United States)
* Marco Maggesi, Università di Firenze (Italy)
* Assia Mahboubi, INRIA Nantes (France)
* Colleen Robles, Duke University, Durham, NC (United States)

**Managing editors**
* Robert Y. Lewis, Brown University, Providence, RI (United States)
* Filippo A. E. Nuccio Mortarino Majno di Capriglio, Université Jean Monnet Saint-Étienne (France)


  • [Coq-Club] Annals of Formalized Mathematics, Rob Lewis, 03/22/2024

Archive powered by MHonArc 2.6.19+.

Top of Page