Re: [HoTT] Abridged summary of homotopytypetheory@googlegroups.com - 1 update in 1 topic

Re: [HoTT] Abridged summary of homotopytypetheory@googlegroups.com - 1 update in 1 topic

[Daniel R. Grayson]

[-- Attachment #1: Type: text/plain, Size: 2314 bytes --]

Thanks!

On Tue, Jan 14, 2025, 7:09 PM <homotopytypetheory@googlegroups.com> wrote:

> homotopytypetheory@googlegroups.com
> <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/homotopytypetheory/topics> Google
> Groups
> <https://groups.google.com/forum/?utm_source=digest&utm_medium=email/#!overview> [image:
> Google Groups Logo]
> <https://groups.google.com/forum/?utm_source=digest&utm_medium=email/#!overview>
> Today's topic summary
> View all topics
> <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/homotopytypetheory/topics>
>
>    - 1st Call for Contributions and Participation - 4th meeting of
>    Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April
>    2025 <#m_6556119724606727426_group_thread_0> - 1 Update
>
> 1st Call for Contributions and Participation - 4th meeting of Working
> Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025
> <http://groups.google.com/group/homotopytypetheory/t/5987a4bc6fb551fe?utm_source=digest&utm_medium=email>
> Jacopo Emmenegger <op.emmen@gmail.com>: Jan 14 12:35PM +0100
>
>
> --------------------------------------------------------------------------------------------------
> 1st Call for Contributions and Participation
> 4th meeting of Working Group 6 of the EuroProofNet ...more
> <http://groups.google.com/group/homotopytypetheory/msg/10e044a2050211?utm_source=digest&utm_medium=email>
> Back to top <#m_6556119724606727426_digest_top>
> You received this digest because you're subscribed to updates for this
> group. You can change your settings on the group membership page
> <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/homotopytypetheory/join>
> .
> To unsubscribe from this group and stop receiving emails from it send an
> email to homotopytypetheory+unsubscribe@googlegroups.com.
>

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CABWu70Gw4dgeKiek-pC-8oqp%3DsWwNnmkpSa9idBVVeGqCHqY8A%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 6036 bytes --]