Leon
  • Berlin, Germany
  • Member for 55 days
Stats
101
reputation
0
reached
0
answers
0
questions
About

mathematics phd student working on the SCIP optimization suite at Zuse Institute Berlin.

Interested in C/C++, python, formal theorem provers, verification

This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges

Keeping a low profile.

This user hasn't posted yet.