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