o top"><i class="fa fa-download"></i></a>
    <a ng-class="{'btn':true, 'btn-default':true, 'disabled':!proof.status}" ng-click="downloadLemma(proof)" uib-tooltip="Download lemma (completed proof)" tooltip-placement="auto top"><i class="fa fa-certificate"></i></a>
    <a class="btn btn-default" ng-click="downloadPartialProof(proof)" uib-tooltip="Download model+proof (.kyx)" tooltip-placement="auto top"><i class="fa fa-archive"></i></a>
    </span>
</script>
