HomePhabricator

make double-sure that internal proof boxes are exported, e.g. in Pure;

Authored by makarius.