Liquid Tensor Experiment

Stream: Is there code for X?

[Ben Spitz]

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.

[Alex J. Best]

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

[Ben Spitz]

Thanks!