diff options
Diffstat (limited to 'doc')
| -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 |