Skip to content

fix(proof-synthesis): correct two miscited arXiv claims - #130

Merged
avrabe merged 1 commit into
mainfrom
fix/proof-synthesis-citations
Jul 15, 2026
Merged

fix(proof-synthesis): correct two miscited arXiv claims#130
avrabe merged 1 commit into
mainfrom
fix/proof-synthesis-citations

fix(proof-synthesis): correct two miscited claims (claim-verification…

d9452fe
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar