proof processing tools / machinery / preliminary tools / data structure/algorithm / verification tools / possible proof search space / computing / alternative solutions / proof search space / /
Organization
OBLIGATIONS IN FORMAL METHODS Chapter / PROOF OBLIGATIONS IN FORMAL METHODS Chapter / Iain Whiteside School of Computing Science / Newcastle University / /
Person
Schmalz / Cliff B. Jones / Leo Freitas / /
Position
proof assistant / General / expert/engineer / /
Technology
same data structure/algorithm / machine learning / /