Quote


Voting: - 4 +
Last time I checked, Jesus does not program in Coq
— Andrew Hirsch, asking for a miracle · Feb. 18, 2019