Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/ide/rocqide/   (Rocq Prover Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 36 B image not shown  

Quelle  coq_icon.rc  Sprache: unbekannt

  
Spracherkennung für: .rc vermutete Sprache: Text {[0] [0] [0]} [Methode: maximale Elemente, drei Dimensionen]

large   ICON    ide/rocqide/coq.ico

[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-10-24]