api.tex 305 Bytes
Newer Older
MARCHE Claude's avatar
doc  
MARCHE Claude committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
\chapter{The Why3 Application Programming Interface}

\section{Building Terms and Formulas}

\section{Building Theories}

\section{Buildings Tasks and calling External Provers}

\section{Applying transformations}

%%% Local Variables:
%%% mode: latex
%%% TeX-PDF-mode: t
%%% TeX-master: "manual"
%%% End: