info/learnxinyminutes-docs
1
0
Fork 0
mirror of https://github.com/adambard/learnxinyminutes-docs.git synced 2025-08-23 06:43:37 +02:00
Code Issues Releases Wiki Activity

Merge pull request #4142 from dbenn/patch-3

Browse Source 
[coq/en] remove extra "prove" from comment
This commit is contained in:
Max Schumacher
2021-03-21 15:22:27 +01:00
committed by GitHub
parent 5d2d1cf77c 160ecc8be8
commit 67ec5133a2
1 changed files with 1 additions and 1 deletions
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.
Qed.
(* We can prove easily prove simple polynomial equalities using the
(* We can easily prove simple polynomial equalities using the
automated tactic ring. *)
Require Import Ring.