Suchergebnisse für Anfrage "isar"
Proof Assistent nur für Mathematik
Most Proof-Assistenten sind funktionale Programmiersprachen mit abhängigen Typen. Sie können Programme / Algorithmen prüfen. Ich interessiere mich stattdessen für den Beweisassistenten, der am besten für die Mathematik und nur für die Analysis ...