Große Dinge werfen ihre Schatten voraus: Reto Aschwanden wird hier in meinem Blog spätestens im Februar sein neues Beweispartien-Prüfprogramm Stelvio vorstellen, hier zum Download bereitstellen. Viel will ich noch nicht verraten, aber es wird nicht nur unter Windows laufen können — und es verspricht, in vielen Fällen schneller als Euclide oder Natch zu sein.
Reto hat eine kleine Vorstellung des Programms (auf Englisch) geschrieben, viel Spaß beim Lesen!
Und hier schon mal ein Screenshot:
I look forward to get my hands on Stelvio.
Looks very promising!