Viewing profile — liups

Cool work. I wonder if contemporary proof assistants have enough primitives to implement this.

> pure math (topology and countability) and computer science have almost no overlap in the short term. This is an unexpected opinion. What do you mean by this? I would argue the op…

I wonder(worry) that this dump is actually a key honeypot. May have people thinking: "I already have a account, but with this I could at least get 4k." They put their legitimate ke…