coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Rob Lewis <rob.y.lewis AT gmail.com>
- To: coq-club AT inria.fr, isabelle-users AT cl.cam.ac.uk, logic.list AT outlook.com
- Subject: [Coq-Club] Lean Together 2024
- Date: Sun, 17 Dec 2023 17:21:24 -0500
- Authentication-results: mail3-smtp-sop.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-lj1-f180.google.com
- Ironport-data: A9a23:U6XhAK1xACpezWkqzfbD5dl1kn2cJEfYwER7XKvMYLTBsI5bp2NRy WBNWT/UPaqKYGHzLo92bN/i8E4Pu5SByNExGQE53Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn9h1aYDkpOs/jY8Uk246yo0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW1qy/PA0FmcfBtIV/r5zPDh/p cUUFD9YO3hvh8ruqF66Yuxlh8BmKMuyeY1G6ikmwjbeAvIrB5vERs0m5/cChGZ21p0IR66OI ZNJMVKDbzyYC/FLEk0QAtQv2uOlmXjkWzJdoVOR46Ew5gA/ySQujOayaoGKKrRmQ+0PomeWm DPB9F/kIRQfJey2zWWY0H2j07qncSTTHdt6+KeD3vVtmRiYwnEZIAYHUEOy5/i/kE+3HdxFQ 3H44QIrpKk2sUipF5zzBk3g5nGDuREYVpxbFOhSBByxJrT8wlimAzIeaBd6N9Ei7MsLHA167 1O1kIa8bdBwi4G9RXWY/7aSiDq9PykJMGMPDRM5oeYt5tDipMQ3jEuKQI8zSOi6idr6HTy2y DePxMTfu1nxpZ9Sv0lewbwhq2z1znQuZlBujjjqspuNt2uVnrKYi3iTwQGDt55odd7HJnHY5 SRss5bEsIgmU8rW/ATTG7VlIV1cz6zaWNEqqQU/QcdJGvXE0yLLQL28FxkneBY0aZdUIWa3C KIR0CsIjKJu0LKRRfcfS+qM5w4ClMAMzPy8DquMPOldKIN8bhGG9yxIbEudlTKl2ks1nK11f d/Rfc+wBDxIQe5q3Rinddc7iLUL/yEZwX+MZJbZyx/876GSSkTIQpg4MXyPTNsD0oW6nCvv/ e1yDfC6kydkbLWmYw3805IiElQRHH1qWbH0s5N2c8CAECpHGUYgKfnb/p05cac4na4Pzubs1 VO+U39+11DQqyDmKwKLS3Y7c5Lpf891gkwaNBwWH2SD+iYcc6f2y4wAZb4bQKIByNVz6dJVE 9wUZNSmANlUbzbMpgQmcpj2qbJ9eCSRhQ6hOzSvZB49dcVCQzPl18DFfAz90jsnFQuy6NUDp oO/2jPhQZYsQxpoCODUYqmNy3KzpX0sp/JgbXDXI9V8eFTez6YyEnbf1sQIGsArLQnP4hC41 AzMWBcRmrTrkr8PqdLMgfiJkpetH+5ABXFlJmj874utFCzk72GmkJ5hUuGJQGjnb1nK2p6eP Mdb8/KtF8c8vgduk5F9GLNV364B94PRh7tF/D9FQlTPTXqWU41FHFfX8/VLhKN3wp1hhTCXQ WOKo9lTBqWIMpjqEXkXPwsUUd6A3vA1xBjX4egEH0HhwCpR4rC8cF5zOiOUg3d3N4pFM4ICw MYgtvUJ6ge5tAEYD9aegg1Q9EWONnYlUZh7kr0/H6nQlVMN5nxZRJ7TGAvawcuqUMpdFFsuL hu/prvwt54FymXsK3MMRGXwh8xDjpEwiTV25V4lJXHSv/Hah/UyjSZjwR5uQit7lhx4gv9OY E51PEhIJIKLzTdipO5He0uOQwhhJhmoynbd+msztl/ybheXDzTWDWgHJ+yy0lgT8Dtcchhl7 bio8jvZfgiwTv7h/BkZeBBDkOPif+xT5weZucGAHua5JbcYTwfhoJeTYTsvl0O6L+I33FbKt Mt7ztZWMKfbDxMdk4c/Koud1IkTdiy6GXx/calh0p8kTWD4UxOu6AeKMHG0K59sJeSV0EqWC P5OB8NoVjai5RmKtRQkFbcpGOZxucIm+/4Hdq3hf2IdgYDCrDAz6JP03Qr9jV8NXN9Bv5scK ITQVjTaCU2WpyJetFHspfl+GFiTQIc7dijj+uGq4cM1F54nm8N9Q3EYi7ebkS2cD1p6wkiyo gjGWZ7z88Vj7oZdx63XDaRJAlSPG+PZDein3li6jIVTUInpL8zLigIyr2vnNSRwOZ86eYx+t ZaJge7N8HL1hpQEeEGHpMDZDIhM39u4Y8RPOMGuLHV6ozqLaPWx3zQ9oVKHOb57u/IDwPK4R jmIStq6Lv8UfNZ/+Ed7SQZjFzQlNqCmSZu4+A2cqa2ABCFIhEaDZJmi+GTyZG5WSj4QNtesQ kXosvKp/ZZDoJ4KGBYAAOp8DoRlJEP4H5ErbMD1qSLSG1zAboluYVc+vUFIBfD35ni4/ALS5 JvEQl36dk33tviYlJdWtIt9uhBRB3F46QX1koTx5PYu4w1WzkZfRQjeDXnCIp5Rmy32kpr/Y VkhqUM8XD7lU20snQrUubzes8T2OgDKEtj8Lz0tuUiTbk9awW9G7KRJrk9d3pu9RtcvICxL5 z3TFr0c8yVdGq1UeNs=
- Ironport-hdrordr: A9a23:Vsg20qpkzFdwmKR20Y5WaSQaV5omeYIsimQD101hICG9E/bo8P xG+c5w6faaskdzZJhNo7C90cq7IE80l6QFg7X5VI3KNGLbUQCTXeRfBOXZslnd8u7FmtK1F5 0MT0GzMrLN5JFB4/rH3A==
- Ironport-phdr: A9a23:Gk3Nah29zAmg7C5dsmDOPA4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaPo6810hSQANqTwskHotSVmpijY1BI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffQZFiCCjbb9uL Ri6ohjdu8kUjIB/Nqs/1xzFr2dHdOhR2W5mP1WfkQri6Myt5pBj6SNQu/wg985ET6r3erkzQ KJbAjo7LW07/dXnuhbfQwSB4HscSXgWnQFTAwfZ9hH6X4z+vTX8u+FgxSSVJ8z2TbQzWTS/8 6dmTQLjhSkbOzIl9mzcl8t/gr9GoBK6vxxw3ZLbYJ2bOvp5e6PSZ9IaRWxcVcpVWCFMBoawY o0SBOQDIOlYtZHwqFQOoxWwBgeiGf3hxSNTi3DswaE3yf4sHR3a0AEiGd8FrXTarM/yNKcXS e270K7Iwi7eZP1Qxzj85onIcgs8qvyLR7JwdtHexVMvFg/filWft4LkPzKO1ukWvGib6vBvV eOri2I9tw5xpT2vy94qh4LUiY0b1krK+j9lwIYpO9K4Ukh7bMa5HJZUsyyXK5d6T8ItTmx1t ig21r0It5C5cSUE1ZkqyR/SZv6HfoWM4h/vSuifLDNkiHxqdryzmQq//FSvxOD/UMS/zVhEr i1AktbWt3AN0QTe6seGSvth/kehxC2A2xrS6uFDJ00/iKnVK4Y5z7IuipYetV7PEyz2lUnsk qOaakYp9vK15+nkfrnroIKXOpFwigHjKaQuhtKwAf4lPAgPXmmU5/yx2KHl8EbkWrtFlOc2n bPcsJ3CJcQUuKq5AwhN34Ym8Rm/DjOm3M0cnXkFMV5JYRyHg5XqNl3SOvz4AvC/g1OjkDdv2 f/KJKHuApLILnTbkbfhe6hy61JExQYt0dxS44hYB7IBLf7pREP9qN/VAgUkPwG33+rrENB92 ZkfWWKLDK+ZKqTSsVqQ6+I1JOmDf5UZuTbnJ/gh+fHvg345mUQGcKmm2JsYcnG4HvB8L0qFZ nrsh88NEWERsQUmVuzllEWCUSJPZ3a1R68w+yk3CJi6AofbWoCtnLuB0T+nEZ1Rf2BKE0yDE XP1d4qfQPoMcyKTIsp5kjMeT7ShSokh1QuvtADg0bZnIPDUqWUkssfo08Ew7OnOnzkz8yZ1B oKTySXFTnp9lG4MQzJzwbtyu1dVwVPF2qF9xfVTU8FQo7tNVQg7PtjYzvdmI9fvRgbGedTPQ 1GjEfu8BjRkdNU7i/sDfEdmU4G4iRqFzmyuDqAUjJSEAZU19uTX2H2ndJU18GrPyKR01wpue cBIL2Dz2v8XH2n7AofIlx7cjKO2beEH2zaL8m6fzG2ItUUeUQhqUKyDU2pMLlDOo4Hf4UXPB 6SrFaxhKhFInNSFIO1bLNnkklRdbPjmMdXaJWm2njT4Hg6Gk4uFd5GiYGABxGPYAUkAnRoU+ COcMgJ4F2Glrn3fFxRhEFvuZwXn9uwt4GijQBoSyAeHJ1Zky6Lz+hMRgqmETOgP27sfpCo7g zB9HVL429CPTtTZ91Inc6JbbtcwplxA0Ao1riRbOZqtZ+Bnj18aKEFsul/2kg5wEsNGmNQrq 3UjyExzL7iZ2RVPbWHQ25e4IbDRJmTomXLnI6fLxlHT1sqX8aYT+bw5rVvkpgSgCksl9T1uz dBU13KW4piCAhAVVNr9VUM+9h4yoL+/AGF1/YTek2wqNaSrsyTq1NcgBe9jwRGlPp9ePK6CC A7uApgCHcH9TY5i01Otbx8CIKVT7PtuZ5LgJ6bAgvb7er8wxGHD7ywP+o1230OS+jApT+fJ2 81A2PSExk6cUC+6il69s8fxkIQCZDcIH2P5xzK3YewZLqB0Y4sPDn+jZsOtwdArzYTqUThJs lquGFId8MCscBuWKVf62EcDsCZf6Wzigia+wzFuxnszqaDZzWrKzvvjbzIIP2dKQC9pilKmc u3Wx5gKGUOvaQYujh6s4033krNaqKpIJG7WWU5UfiLyIgmOS4OIv6GZK45K4ZIs6mBMVfikJ EudUvj7qgcb1CXqGy1fwio6fnekoMexkxt/gWObZHF9yRiRMdt3z1HOotjRWv9K9jUDTSh8z zLQAxCwMsKo8tOdi5rY+rrmBiTxC9sJKXmtlNPY/CKgrXVnGxi+g+y+lriFWUAh3Cn32sMrH STEoRDgY5X6gqGzMOZpZE5tVxf378t3HJ07k5Nl3slBnyhHwM/NrTxewT+gVLcTkbjzZ3cMW zMRltvc4Qy+nVZmMmrM3IXhEHOU3spmYdC+JGIQwCM0qc5QW8L2pPRJmzV4pl2goEffe/94y 30HzvFo+Tgejv4IoyIiyyycBvYZGkwSbkmO31yYqsuzqqlafjPla7+6kls4md2+DaqqrQRVW XK/cZAnV3wVjI03IBfH13v97Zvhcd/bYIcItxGapBzHivBcNJM7kvdZzToiI2/2umcpjvIql RE7l4/vp5CJci8+mcDxSg4dLDD+YNkfvy3gnboL1NjDxJihR91gAmlZB8auFKPwVmhO6rK/c FzSWDwk9iXFRfyFRlTZsRk+6SqISsHOVTnfJWFFn4s8AkDFfgoHxlhTBm1yn4ZlRF70gpa9I QEpvnZJoQSg4hpUlrA3bV+mDiGG9V3uMnBtGP39ZFJX9l0QuBuTaJbDqLo1R2YBoNWgtFDfc zTLIV0XUidZHBTDXQmrP6Hyt4CfqK7BV7b4d72WJuzQzI4WH/aQmcD1itogr2vKb5/feCElV qJz21IfDyogRYKEy3NWGnZRz2WUPoaavEvuoHQp6JrkobKwAkS3otLebtkaecNm/xT86UuaH 8iXgisxaTNR15dXgGTN1KBax1kKzSdnaziqF70E8y/LVqPZ3KFNXVYdbGtoOc1E4rhZvEEFM NPHit7zyr9zj+IkQ1ZDW1v7n8i1ZMsMa2ijPVLDDUyPOfyIPzrOi83wZKq9T/VXgoA2/1Wov i2HFkb4IjmZvzzgVhTqNeMVyS/CbEQYt4a6fRJgT2PkSZOuaxG2NsN2kSxjwbAwgSCvVyZUO jx9fkVR67yIuHkA07MvRiobtiojdLncyEP7p6HCJ50bsOVmGHFxnuNeuzEhzqdNqTpDXLpzk TfTqdhnpxenlPOOw3xpSkkryH4DiYSVsEFlIaic+INHXCOO5hUHq3TWDxkVpsBNBdjmuqQWw d/K3vGWSn8K45fP8M0QCtKBYtqAK2YkOAH1FST8CQIESXuvNziaiRUNyLed8XqaqpV8oZ/p0 slrKPcTRBk+EfUUDV5gFdoJLcJsXz8qprWcidYB+Xu0qBS5rCRyu5nGUreWA6yqJm/J1f9LY BwHxb6+JoMWZNWTM6NKZVxznYCMEE3VD4klSshJYQo9oUEL+397HDVb5g==
- Ironport-sdr: 657f7472_cnpcc2wwnAFsYWxx0qjwNETcvChh5d98ewKYnAYHXyUHIq9 HQqmXnUQGxzPH7NTvvuf2XlJZvhL+GDt+PeoJ7w==
Dear all,
Lean Together 2024 will take place virtually January 9-12: https://leanprover-community.github.io/lt2024/
Lean Together is an annual meeting for users, developers, and fans of the Lean proof assistant and its library mathlib. At this meeting we discuss ongoing projects in formalized mathematics and software verification, as well as infrastructure and outreach for Lean and its community. We welcome participants from other proof assistant communities, as well as people who are inexperienced with proof assistants but want to learn more.
A preliminary program is now available on the website. We hope that you'll save the dates and attend some or all of the sessions!
If you have any questions please contact the organizers:
* David Thrane Christiansen (david AT lean-fro.org)
* Robert Y. Lewis (robert_lewis AT brown.edu)
* Patrick Massot (patrick.massot AT math.cnrs.fr)
- [Coq-Club] Lean Together 2024, Rob Lewis, 12/17/2023
Archive powered by MHonArc 2.6.19+.