conclusion.tex 425 Bytes
Newer Older
Michael Kohlhase's avatar
Michael Kohlhase committed
1
2
3
4
5
6
7
8
9
10
11
12
13

\paragraph{Future Work} \ednote{term indexing}

\paragraph{Acknowledgments}
The authors gratefully acknowledge financial support from the OpenDreamKit Horizon 2020
European Research Infrastructures project (\#676541) and the DFG-funded project OAF: An
Open Archive for Formalizations (KO 2428/13-1).

%%% Local Variables:
%%% mode: latex
%%% eval: (visual-line-mode) (set-fill-column 5000) 
%%% TeX-master: "paper"
%%% End: