Trickia repository of mathematical know-how

## AndrejBauer

### Personal information

- Name
- Andrej Bauer
- Homepage
- http://andrej.com/
- About you
I am a mathematician at the Faculty of mathematics and physics, University of Ljubljana, Slovenia. I work in logic, constructive mathematics, a bit of category theory, theory of programming languages, and computable topology and analysis.

### History

- Member for
- 11 years 2 weeks

4 years 45 weeksago5 years 1 weekago5 years 2 weeksago5 years 31 weeksago6 years 3 daysago