Book of Proof

richardhammack.github.iosite

Richard Hammack (Virginia Commonwealth University).

from

Math

added

2026-10-10

likes

0

similar

1. ▲
   The Mathematical Components book math-comp.github.io

   site category #coq link ↗

   Book oriented towards mathematically inclined users, focusing on the Mathematical Components library and the SSReflect proof language.

2. ▲
   Proofs and Concepts: the fundamentals of abstract mathematics deductivepress.ca

   site category #math link ↗

   Joy Morris, Dave Morris.

3. ▲
   Proofs and Types paultaylor.eu

   site category #math link ↗

   Jean-Yves Girard.

4. ▲
   Logic and Proof avigad.github.io

   site category #math link ↗

   Jeremy Avigad, Robert Y. Lewis, and Floris van Doorn.

5. ▲
   Language, Proof, and Logic, Second Edition press.uchicago.edu

   site category #math link ↗

   Paid textbook by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.

   
6. ▲
   Mathematics for Computer Science ocw.mit.edu

   site category #math link ↗

   Free MIT OpenCourseWare course with an open textbook, videos, notes, problem sets, and exams on proofs, discrete structures, counting, graphs, modular arithmetic, and discrete probability.

   

Math › Start Here > Proof and Problem Solving: “Richard Hammack (Virginia Commonwealth University).”