Erweitern Sie die Ergebnisse, indem Sie die Suche verändern.

• Eine Fuzzy-Suche kann Ergebnisse für Wörter mit ähnlicher Schreibweise liefern: interactive theorem proving software~.