Proofs and Types

paultaylor.eusite

Jean-Yves Girard.

from

Math

added

2026-10-10

likes

0

similar

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

   site category #math link ↗

   Joy Morris, Dave Morris.

2. ▲
   Logic and Proof avigad.github.io

   site category #math link ↗

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

3. ▲
   Proofs and Reliable Programming using Coq team.inria.fr

   site category #coq link ↗

   Introduction to developing and verifying programs with Coq.

4. ▲
   Book of Proof richardhammack.github.io

   site category #math link ↗

   Richard Hammack (Virginia Commonwealth University).

5. ▲
   Fields and Galois Theory jmilne.org

   site category #math link ↗

   J.S. Milne.

6. ▲
   Mathematics github.com

   site category #julia-jl link ↗

Math › Foundations and Logic > Type Theory: “Jean-Yves Girard.”