philip_b comments on Best open-source textbooks (goal: make them collaborative)?

[philip_b]

Mathematical Components—a textbook on formal proofs using Coq with MathComp library.