Top Network Posts
- 215Riddle: 1 question to know if the number is 1, 2 or 3
- 194Can the golden ratio accurately be expressed in terms of e and $\pi$
- 41Prove that the product of four consecutive positive integers plus one is a perfect square
- 32Do Hask or Agda have equalisers?
- 24Can we introduce new operations that make quintics solvable?
- 23Proof that $\mathbb N $ is finite
- 22Lax monoidal functors with a different monoidal structure
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.