zeling
Zeling Feng
Lemma life_sucks: True.
trivial.
Qed.
Providence
Following (8)
|
d_christiansen David Raymond Christiansen |
|
ezyang Edward Z. Yang |
|
snoyberg Michael Snoyman |
|
kmett Edward Kmett |
|
graydon Graydon Hoare |
|
edwinb Edwin Brady |
|
rust Rust Language |
|
codeworm96 Yuning Zhang |
Followers (0)
Browse others (15)
|
joeshaw Joe Shaw |
|
jezdez Jannis Leidel |
|
kirksolar Kirk Solar |
|
techniker Björn Bernhard Heller |
|
olaf Olaf Carlson-Wee |
|
johansten Johan Stén |
|
uzi Joshua Uziel |
|
LiquidN2 David DiEnna |
|
nop Nop |
|
andymcmillan Andy McMillan |
|
JacobYoung Jacob Young |
|
Arthur2e5 Mingye Wang |
|
focusaurus Peter Lyons |
|
White_Rabbit ₜₕₑ Wₕᵢₜₑ ᵣₐbbᵢₜ 🐰⌚ |
|
jadedsecurity Boris Sverdlik |
