Skip to content

doc(PCP): document or privatize declarations left without outside references (#949) - #1009

Merged
SamuelSchlesinger merged 2 commits into
cslib-community:mainfrom
chris-ai1:refactor/pcp-orphans-949
Oct 25, 2026
Merged

SamuelSchlesinger merged 2 commits into
cslib-community:mainfrom
chris-ai1:refactor/pcp-orphans-949

doc(PCP): keep the proof-evaluation and round-trip laws public (#926)

bd3b688
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 25, 2026 in 3s