| ROCQ(1) | General Commands Manual | ROCQ(1) |
نام (NAME)
rocq - اثباتگر قضایای Rocq
خلاصه دستور (SYNOPSIS)
rocq [ -debug-shim ] [ -v | --version ] [ subcommand ] [ subcommand options ]
توضیحات (DESCRIPTION)
rocq اثباتگر قضایای Rocq است.
همچنین ببینید (SEE ALSO)
راهنمای مرجع Rocq.
وبگاه Rocq: http://coq.inria.fr