ssprove icon indicating copy to clipboard operation
ssprove copied to clipboard
verified publisher icon SSProve

Remove choice_universe

Open spitters opened this issue 6 months ago • 1 comments

Waiting for: https://github.com/math-comp/hierarchy-builder/issues/281

spitters avatar Jun 02 '25 08:06 spitters

Work towards this in #77 and https://github.com/MarkusKL/ssprove/pull/6

4ever2 avatar Jun 02 '25 10:06 4ever2