| COQTOP.BYTE(1) | General Commands Manual | COQTOP.BYTE(1) |
نام (NAME)
coqtop.byte - سیستم تعاملی بایتکد Coq
خلاصه دستور (SYNOPSIS)
coqtop.byte [ گزینهها ] [ فایل ]
توضیحات (DESCRIPTION)
coqopt.byte نسخهٔ بایتکد Coq است. این دستور نباید مستقیماً فراخوانی شود، بلکه تنها باید توسط coqtop و coqc اجرا گردد.
همچنین ببینید (SEE ALSO)
راهنمای مرجع Rocq Prover.
وبسایت Rocq Prover: https://rocq-prover.org