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

avrabe merged 1 commit into

mainpulseengine/pulseengine.eu:mainfrom

fix/proof-synthesis-citationspulseengine/pulseengine.eu:fix/proof-synthesis-citationsCopy head branch name to clipboard