Meredith L. Patterson 💉💉@maradydd

"Coq is French computer science's revenge on the entire English language." #contextfree