products/Sources/formale Sprachen/Roqc/.github/workflows/   (Rocq Prover Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 447 B image not shown  

Quelle  manifest.mf   Sprache: unbekannt

 
Spracherkennung für: .mf vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

Manifest-Version: 1.0
OpenIDE-Module: org.netbeans.libs.commons_fileupload/1
OpenIDE-Module-Localizing-Bundle: org/netbeans/libs/commons_fileupload/Bundle.properties
OpenIDE-Module-Specification-Version: 1.56

[zur Elbe Produktseite wechseln0.14QuellennavigatorsAnalyse erneut starten2026-06-10]