Rare find

M40001_lean. Lean 3 material related to Imperial College's "Introduction to University Mathematics" course

github.com/ImperialCollegeLondon/M40001_lean
by @ImperialCollegeLondon

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.