ifarabella

Pinned Repositories

formalisingcompatiblefams
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Language:Lean20
NNG4
Natural Number Game
Language:Lean00

ifarabella's Repositories

ifarabella/formalisingcompatiblefams
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Language:Lean2
ifarabella/NNG4
Natural Number Game
Language:Lean