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