💬 ##dependent on Libera.​Chat

Channel Information

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. | <roconnor> I guess I should have done this in a proof assistant.

Current users

58

Peak users

60

Average users

59

Samples

9

First discovered

2026-10-30 14:45:29

Last observed

1 hr ago

Channel User History