Skip to content

feat: compress aggregate roots with SP1 - #602

Open
johnchandlerburnham wants to merge 4 commits into
mainfrom
jcb/sp1-compressor
Open

feat: compress aggregate roots with SP1#602
johnchandlerburnham wants to merge 4 commits into
mainfrom
jcb/sp1-compressor

feat: compress the historical Mathlib aggregate root

52d5bb2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar