Prüfer Tests

[url=https://www.geogebra.org/prover+test]https://www.geogebra.org/prover+test[/url]
Beispiel 280 (Chou: Mechanical theorem proving, 1987)
– Prover Test, Zoltán Kovács

Information: Prüfer Tests