| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/drivers/net/ethernet/broadcom/ (Linux Kernel Version 6.17.9©) Datei vom 24.10.2025 mit Größe 42 kB |
|
Quelle quotation.vSprache: Coq |
|||||||||||||||
|
Declare ML Module "coq-test-suite.quotation". Definition x := foobar:{{ hello there }}. Definition y := foobar:{{ another multi line thing }}. Check foobar:{{ oops ips }} y.
¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet am 2026-06-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-08-25