Suchergebnisse für Anfrage "real-number"

2 die antwort

Wie kann man in Coq automatisch die einfache Gleichheit reeller Zahlen beweisen?

Was ich suche ist einauto -ähnliche Taktik, die einfache Gleichungen beweisen kann wie: 1/2 = 2/4isher habe ich versucht, @ manuell zu verwendring_simplify undfield_simplify um Gleichheit zu beweisen. Auch das funktioniert nicht gut (Coq 8.5b3). ...

TOP-Veröffentlichungen