kex-y / M4000x_LEAN_formalisation

Formalising lecture notes from 1st year Imperial Mathematics course.
11Updated 4 years ago

Related projects

Alternatives and complementary repositories for M4000x_LEAN_formalisation