Zulip Chat Archive

Stream: Is there code for X?

Topic: Liquid Tensor Experiment


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.

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

Ben Spitz (Jan 25 2021 at 07:07):

Thanks!


Last updated: Dec 20 2023 at 11:08 UTC