osj1961 / giam

A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
109Updated 3 months ago

Related projects

Alternatives and complementary repositories for giam