Skip to content

Adopt minimal proof/exercise styling - #788

Merged
mmcky merged 1 commit into
mainfrom
harmonize-minimal-style
Jul 9, 2026
Merged

Adopt minimal proof/exercise styling#788
mmcky merged 1 commit into
mainfrom
harmonize-minimal-style

Adopt minimal proof/exercise styling

5c86b71
Select commit
Loading
Failed to load commit list.
Netlify / Pages changed - taupe-gaufre-c4e660 completed Jul 9, 2026 in 4s

All files already uploaded

All files already uploaded by a previous deploy with the same commits.

View more details on Netlify