FStarLang/FStar: Redaktioneller README-Leitfaden

FStarLang/FStar beschreibt sich im README als „A Proof-oriented Programming Language". Dieser Text bleibt bei Fakten, die im Repository überprüfbar sind. Sterne, Forks und Badges zeigen Aufmerksamkeit, aber keine Qualität. Unter „README" steht: F: A Proof-oriented Programming Language =========================================. Das beschreibt den vorgesehenen Umfang, nicht einen Produktionstest.

Der Abschnitt „Editing F code" zeigt, für welches Problem das Projekt gedacht ist: [fstar-vscode-assistant]: VS Code plugin for F. Passt dieses Problem nicht zu deinem Fall, ist Popularität kein ausreichender Grund. Namen, Befehle und Komponenten bleiben unverändert, damit Leser die Primärquelle ohne neue Begriffe vergleichen können. Ein weiterer überprüfbarer README-Punkt lautet: [fstar-vscode-assistant]: VS Code plugin for F. Er hilft beim ersten Test, ersetzt aber keinen Test in der vorgesehenen Umgebung.

Die Betriebsweise verteilt sich auf Abschnitte wie „Online book". Die Quelle nennt: An online book Proof-oriented Programming In F is available and updates are posted online periodically. The book is available as a [PDF], or you can read it while trying out examples and exercises in your browser interface from this. Fehlende Angaben zu Architektur, Leistung oder Sicherheit werden nicht ergänzt. Vor einem echten Einsatz müssen Repository-Struktur, Konfigurationsdateien und Release-Verlauf geprüft werden.

Beginne die Installation am dokumentierten README-Einstieg. Ein überprüfbarer Befehl ist: README 没有给出可直接复制的安装命令。 Wenn kein ausführbarer Befehl vorhanden ist, wird hier keiner erfunden. Prüfe den Abschnitt „Installation" auf Abhängigkeiten, Standardports und die Einrichtung beim ersten Start.