Top
New
π
alimw
joined
10/17/2015, 8:43:22 AM
has
444
karma
Recent Posts
The truth about paranoia β and why itβs higher than ever
by
alimw
on 1/21/2024, 1:52:46 PM with
0
comments
Fermat's Last Theorem to be proved in Lean (probably eventually)
by
alimw
on 10/11/2023, 2:49:48 PM with
0
comments