Le Belge · @lebelge
108 followers · 89 posts · Server mathstodon.xyzLiquid Tension Experiment
https://en.wikipedia.org/wiki/Liquid_Tension_Experiment
"Liquid Tension Experiment" (self-titled first studio album)
https://songwhip.com/liquid-tension-experiment/liquid-tension-experiment
I discovered this group when I read about
#PeterScholze “Liquid Tensor Experiment”: https://www.quantamagazine.org/lean-computer-program-confirms-peter-scholze-proof-20210728/
https://www.nature.com/articles/d41586-021-01627-2
#nowlistening #music #InstrumentalRock #ProgressiveRock
#LiquidTensionExperiment
#mathematics #ProofAssistant
#ProofAssistant #mathematics #liquidtensionexperiment #progressiverock #instrumentalrock #music #nowlistening #PeterScholze