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):
Last updated: May 17 2021 at 16:26 UTC