Quote


Voting: - 0 +
I find doing proofs in Coq quite relaxing
— Jules Jacobs, Discussing mechanized proofs with Mark Moeller and Nate Foster · Sept. 17, 2024