Skip to content

RQ-60-CFOBLIG (#1057) inc 2: proof-inventory manifest — derive, don't guess theorem names (brif_correct is the 29th member of a class) - #1089

Merged
avrabe merged 1 commit into
mainfrom
rq60-cfoblig-inc2-manifest
Aug 27, 2026
Merged

RQ-60-CFOBLIG (#1057) inc 2: proof-inventory manifest — derive, don't guess theorem names (brif_correct is the 29th member of a class)#1089
avrabe merged 1 commit into
mainfrom
rq60-cfoblig-inc2-manifest

RQ-60-CFOBLIG (#1057) increment 2: derive the proof inventory, don't …

5e720eb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar