Quotations of Gates Hall
Home
Submit a Quote
Browse
Random
Top Voted
About
Search by Quote or Context:
Quote
Voting:
-
13
+
It's 3500 lines of code, most of it in Coq proofs, which is more than most systems people can handle.
— Laure Thompson
,
while presenting a paper in Systems Lunch
·
Feb. 20, 2015