Skip to content

@ualib UALib

@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

brooklyn

@Maxuvious
Maxuvious Maxuvious
obsessive primate crank compute-rock
@gonzigaran
Gonzalo Zigarán gonzigaran
Mathematician - Ph.D. Student

FaMAF - UNC Córdoba, Argentina