https://github.com/b-mehta/topos

Topos theory in lean

leanprover topos-theory

Last synced: 29 Nov 2024

https://github.com/b-mehta/formalising-mathematics-notes

Course notes for Formalising Mathematics 2025

Last synced: 31 Mar 2025

https://github.com/b-mehta/combinatorics

Last synced: 29 Nov 2024

https://github.com/b-mehta/unit-fractions

Last synced: 29 Nov 2024