adambard/learnxinyminutes-docs
1
1
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2024-11-27 04:44:08 +03:00
Code Issues Projects Releases Wiki Activity

[coq/en] remove extra "prove" from comment

Browse Source 
Line 475 has an extra "prove" in a comment so removed it
This commit is contained in:
dbenn 2021-03-13 14:39:37 +10:30 committed by GitHub
parent 5d2d1cf77c
commit 160ecc8be8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
coq.html.markdown
View File

@ -472,7 +472,7 @@ Proof.
intros A B ab. destruct ab as [ a b ]. apply a. intros A B ab. destruct ab as [ a b ]. apply a.
Qed. Qed.
(* We can prove easily prove simple polynomial equalities using the (* We can easily prove simple polynomial equalities using the
automated tactic ring. *) automated tactic ring. *)
Require Import Ring. Require Import Ring.