рдпрд╣ рдХрдорд╛рдВрдб coqtop.byte рд╣реИ рдЬрд┐рд╕реЗ рд╣рдорд╛рд░реЗ рдХрдИ рдореБрдлреНрдд рдСрдирд▓рд╛рдЗрди рд╡рд░реНрдХрд╕реНрдЯреЗрд╢рди рдЬреИрд╕реЗ рдЙрдмрдВрдЯреВ рдСрдирд▓рд╛рдЗрди, рдлреЗрдбреЛрд░рд╛ рдСрдирд▓рд╛рдЗрди, рд╡рд┐рдВрдбреЛрдЬ рдСрдирд▓рд╛рдЗрди рдПрдореБрд▓реЗрдЯрд░ рдпрд╛ рдореИрдХ рдУрдПрд╕ рдСрдирд▓рд╛рдЗрди рдПрдореБрд▓реЗрдЯрд░ рдореЗрдВ рд╕реЗ рдПрдХ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдСрдирд╡рд░реНрдХреНрд╕ рдлреНрд░реА рд╣реЛрд╕реНрдЯрд┐рдВрдЧ рдкреНрд░рджрд╛рддрд╛ рдореЗрдВ рдЪрд▓рд╛рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
рдХрд╛рд░реНрдпрдХреНрд░рдо:
рдирд╛рдо
coqtop.byte - рдмрд╛рдЗрдЯрдХреЛрдб Coq рдЯреЙрдкрд▓реЗрд╡рд▓
SYNOPSIS
coqtop.рдмрд╛рдЗрдЯ [ рд╡рд┐рдХрд▓реНрдкреЛрдВ ] [ рдкрдЯреНрдЯрд┐рдХрд╛ ]
рд╡рд░реНрдгрди
coqopt.рдмрд╛рдЗрдЯ Coq рдХрд╛ рдмрд╛рдЗрдЯрдХреЛрдб рд╕рдВрд╕реНрдХрд░рдг рд╣реИред рдЗрд╕реЗ рд╕реАрдзреЗ рдирд╣реАрдВ рдмреБрд▓рд╛рдпрд╛ рдЬрд╛рдирд╛ рдЪрд╛рд╣рд┐рдП, рдмрд▓реНрдХрд┐ рдХреЗрд╡рд▓
рдХреЛрдХрдЯреЙрдк рдФрд░ рд╕реАрдУрдХреНрдпреВрд╕реА
onworks.net рд╕реЗрд╡рд╛рдУрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ рдСрдирд▓рд╛рдЗрди coqtop.byte рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░реЗрдВ