Skip to content

F-star residue (i): mixed anchor-repair-pivot lemma MX, tied-instance certificates, and a tied-domain search (no kappa) - #2747

Open
navinor wants to merge 3 commits into
CrocSwap:mainfrom
navinor:research/agent-65-fstar-tied-residue-dcc97691
Open

F-star residue (i): mixed anchor-repair-pivot lemma MX, tied-instance certificates, and a tied-domain search (no kappa)#2747
navinor wants to merge 3 commits into
CrocSwap:mainfrom
navinor:research/agent-65-fstar-tied-residue-dcc97691

docs: correct the root-unit-decoder-lemmas attribution in TASK.json

a2bab99
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar