Zulip Chat Archive

Stream: Is there code for X?

Topic: Liquid Tensor Experiment


view this post on Zulip Ben Spitz (Jan 25 2021 at 07:02):

Hi all! I'm new to Lean, but I have some FP experience and have been reading up a bit on condensed math. Is there a git repository (or something) with community work on the liquid tensor experiment? I'm not yet at a point where I can contribute useful code, but I'd be very interested to look at how this stuff is being expressed in Lean if possible.

view this post on Zulip Alex J. Best (Jan 25 2021 at 07:07):

Hi Ben, check out the #condensed mathematics stream and repo linked there, thats where most of the recent activity is

view this post on Zulip Ben Spitz (Jan 25 2021 at 07:07):

Thanks!


Last updated: May 17 2021 at 16:26 UTC