HomePhabricator

determine proof boxes from exported proof (NB: thm_boxes is not sufficient due…

Authored by makarius.

Description

determine proof boxes from exported proof (NB: thm_boxes is not sufficient due to OfClass proofs);

Details

Committed
makariusNov 3 2019, 6:55 PM
Parents
rISABELLE58022ee70b35: more operations;
Branches
Unknown
Tags
Unknown