><i class="fa fa-list"></i></a>
                <a class="btn btn-default" ng-if="!model.isExercise" ng-controller="ModelProofCreateCtrl" ng-click="createProof(model.id, '', '')" uib-tooltip="Start new proof"><i class="fa fa-gears"></i></a>
                <a class="btn btn-default" ng-if="!model.isExercise" ng-href="dashboard.html?#/models/{{ model.id }}/modelplex" uib-tooltip="Generate code" tooltip-placement="auto top"><i class="fa fa-shield"></i></a>
<!--                <a class="btn btn-default" ng-if=