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

42 views
Skip to first unread message

Daniel R. Grayson

unread,
Feb 6, 2025, 2:41:52 PMFeb 6
to homotopyt...@googlegroups.com

Thanks!


On Tue, Jan 14, 2025, 7:09 PM <homotopyt...@googlegroups.com> wrote:
Jacopo Emmenegger <op.e...@gmail.com>: Jan 14 12:35PM +0100

--------------------------------------------------------------------------------------------------
1st Call for Contributions and Participation
4th meeting of Working Group 6 of the EuroProofNet ...more
You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page.
To unsubscribe from this group and stop receiving emails from it send an email to homotopytypethe...@googlegroups.com.
Reply all
Reply to author
Forward
0 new messages