">
                    <a class="btn btn-default" ng-controller="ModelProofCreateCtrl"
                       ng-click="createProof(modelId, '', '')"
                       uib-tooltip="Start new proof"><i class="fa fa-gears"></i> Start new proof</a>
                    <a class="btn btn-default"
                       ng-click="downloadModelProofs(modelId)"
                       uib-tooltip="Extract all proofs into a single archive (.kyx)"><i class="fa fa-archive"></i> Export all</a>
                </spa