Leon
1,588
reputation
1
7
16
mathematics phd student working on the SCIP optimization suite at Zuse Institute Berlin.
Interested in C/C++, python, formal theorem provers, verification