Ich werde wieder von Julia begeistert. Die Mathematikbibliotheken sind einfach so elegant, vielleicht sollte ich einen STARK-Prover in Julia schreiben.
341