: Mathematician & AI engineer : Lean 4 @ Harmonic : category theory, universal algebra, formal verification & foundation-model infrastructure : MSc Mathematics, University of Cape Town : Lean4 Mathematician @ Harmonic : Project Numina :     : Mathematician & AI engineer : Lean 4 @ Harmonic : category theory, universal algebra, formal verification & foundation-model infrastructure : MSc Mathematics, University of Cape Town : Lean4 Mathematician @ Harmonic : Project Numina :    

 :: Lean4 @ Harmonic :: Project Numina labeling :: UCT category seminars :: UCT grant 2024 ::     :: Lean4 @ Harmonic :: Project Numina labeling :: UCT category seminars :: UCT grant 2024 ::    

 ::: University of Cape Town ::: Harmonic ::: Project Numina ::: Category Theory Group :::     ::: University of Cape Town ::: Harmonic ::: Project Numina ::: Category Theory Group :::