#
RitaAhmadi
Follow
Lists (1)
Starred repositories
4
stars
written in Lean
Clear filter
Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
An experimental category theory library for Lean
