##dependent

on Libera.Chat · 30-day trend 0.0%

Martin-Löf intuitionistic type theory | https://archive-pml.github.io | https://github.com/dpndnt/library | https://tinyurl.com/sywtltt | <dolio> The 'real number' is not the thing you measure, it's the idealization of the process of making infinitely many, ever more precise measurements. | <ames> i think all of you seriously misunderstand what existing is like