Benutzer:Peabrainiac
From Wikipedia, the free encyclopedia
Ich bin Mathematikstudent an der HU Berlin, mit Interesse insbesondere an Differentialgeometrie, Kategorientheorie und Beweisassistenten. Im Zuge dessen trage ich hin und wieder zur deutschen und englischen Wikipedia und zu nLab bei, sowie zu diversen Open-Source-Projekten rund um Lean.