UALib

Lane Biocini lane-core

type theory researcher, programmer based in nyc

brooklyn

Follow

Maxuvious Maxuvious

obsessive primate crank compute-rock

Follow

Gonzalo Zigarán gonzigaran

Mathematician - Ph.D. Student

FaMAF - UNC Córdoba, Argentina

Follow