kopia lustrzana https://github.com/UU5JPP/Wolf-LITE
5 wiersze
67 B
Coq
5 wiersze
67 B
Coq
|
DEBUG2 u0 (
|
||
|
.probe (<connected-to-probe>) // probes.probe
|
||
|
);
|
||
|
|