Quotes by Haobin Ni
-
Voting:
-
4
+
I saw some coffee-like liquid spilled over the floor outside of 4th floor kitchen which might be dangerous. How can I get help?— Haobin Ni, asking for help on Slack · Feb. 27, 2020 · Permalink
-
Voting:
-
13
+
99 unproven theorems in Coq.— Haobin Ni, after the renowned "99 little bugs" · Jan. 25, 2019 · Permalink
99 unproven theorems.
Take one down, prove it sound.
98 unproven theorems in Coq.
...
1 unproven theorem in Coq.
1 unproven theorem.
Think a month, find it wrong.
99 unproven theorems in Coq…