Advertisements

# Tag Archives: M1F

## The inverse of a bijection.

Constructing the inverse of a bijection in Lean can be tricky for beginners. Continue reading

Advertisements

## M1F, Imperial undergraduates, and Lean

Abhimanyu Pallavi Sudhir, a current first year, has formalised the solutions to last year’s M1F final exam! Continue reading

Posted in M1F, undergrad maths
Tagged Abhimanyu Pallavi Sudhir, Chris Hughes, Kenny Lau, M1F
1 Comment