Quotations of Gates Hall

• Home
• Submit a Quote
• Browse
• Random
• Top Voted
• About

Quotes by Jules Jacobs

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

CS Department Home