Lean4 helped Terence Tao discover a small bug in his recent paper
467 by gridentio | 208 comments
Subscribe to:
Post Comments (Atom)
-
Boards are dangerous to founder/CEOs 574 by tosh | 264 comments
-
Stepping Back from Speaking 502 by alfredbez | 124 comments
-
વડાપ્રધાન નરેન્દ્ર મોદી લાલ કિલ્લા પરથી પગાર વધારો અને રિટાયર મેન્ટની વયમર્યાદા વધારવાની from Top Stories News - Gujarat Samachar : World...
No comments:
Post a Comment