Commit 01fd5b42 authored by François Bobot's avatar François Bobot
Browse files

doc: one last composants -> components

parent 4fca638a
......@@ -285,7 +285,7 @@ the GUI.
\section{The \texttt{why3bench} tool}
The \texttt{why3bench} tool adds a scheduler on top of the \why\
library. \texttt{why3bench} is designed to compare various composants
library. \texttt{why3bench} is designed to compare various components
of automatic proofs: automatic provers, transformations, definitions
of a theory. For that goal it tries to prove predefined goals using
each component to compare. \texttt{why3bench} allows to output the
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment