IUM. Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course

github.com/ImperialCollegeLondon/IUM

@ImperialCollegeLondon

Problem

Audience

Updates

No founder updates yet. Check back soon.