automath: add Q2 focus — Open Problem Outreach + Social Auto-Publish#10

AlyciaBHZ wants to merge 1 commit into

ChronoAIProject:mainChronoAIProject/region-map:mainfrom

AlyciaBHZ:automath/q2-focus-regionsAlyciaBHZ/region-map:automath/q2-focus-regionsCopy head branch name to clipboard