diff options
| author | narboux | 2004-05-12 13:41:06 +0000 |
|---|---|---|
| committer | narboux | 2004-05-12 13:41:06 +0000 |
| commit | 2207128bc8a2bc427b57a341424059d51c6ce199 (patch) | |
| tree | eec3b387b3e4e35884f130fd842d95ac3ab1dd58 | |
| parent | 935aa399ce4f26890f601d207d1cfee46b9ff6f3 (diff) | |
typo jc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8576 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | doc/newfaq/main.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/newfaq/main.tex b/doc/newfaq/main.tex index fc148f88f6..c91b6b25bd 100644 --- a/doc/newfaq/main.tex +++ b/doc/newfaq/main.tex @@ -271,7 +271,7 @@ was distributed in 1989. \Question{What are the academic applications for {\Coq}?} -{\Coq} is used for formalizing mathematicians, for teaching, +{\Coq} is used for formalizing mathematical theories, for teaching, and for proving properties of algorithms or programs libraries. The largest mathematical formalization has been done at the University |