Leanstral 1.5: Mistrals KI-Modell für formale Beweise ist Open Source